Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
desperate attempt :
authordegomme <augustin.degomme@unibas.ch>
Mon, 25 Jan 2016 15:31:31 +0000 (16:31 +0100)
committerdegomme <augustin.degomme@unibas.ch>
Mon, 25 Jan 2016 15:31:31 +0000 (16:31 +0100)
commitbd08f5fb99eea01833b2b83730a0732443da8d38
treecc57e2f7d46ba3d5536d0f900c1ebacf19133131
parentb641a6417e8ccf7781f69b7d73d604928bb2f645
desperate attempt :
- These tests fail, and it's been like this since a long time, now
- I don't want to disable them because they should be fixed, I guess
- They crash some test systems in violent ways, by looping and allocating lots of memory. They timeout after a while, but too late on some systems.

So this is an attempt to destroy them before they cause any damage, without just disabling the tests.
examples/msg/mc/bugged1_liveness.tesh
examples/msg/mc/bugged1_liveness_sparse.tesh
examples/msg/mc/bugged1_liveness_visited.tesh
examples/msg/mc/bugged1_liveness_visited_sparse.tesh