Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
add a tesh for bugged2-liveness
authorFrederic Suter <frederic.suter@cc.in2p3.fr>
Thu, 2 Apr 2020 10:19:08 +0000 (12:19 +0200)
committerFrederic Suter <frederic.suter@cc.in2p3.fr>
Thu, 2 Apr 2020 10:19:08 +0000 (12:19 +0200)
commit08d235d6203bef6455f1b840159a52bbb2485536
treeee2aaa87849869c6d2a4e29fda69630775c4931b
parentbfd65c1e3c9e800848801c52dfcad8798a741be6
add a tesh for bugged2-liveness

Do not test it because it never ends, but at least now if one wants to
do something clever with this test, one can ;)
MANIFEST.in
examples/deprecated/msg/mc/CMakeLists.txt
examples/deprecated/msg/mc/bugged2-liveness.tesh [new file with mode: 0644]
examples/deprecated/msg/mc/bugged2_liveness.c