Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Renable the sparse snpashot tests (after fixing them)
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 29 Jul 2014 08:17:12 +0000 (10:17 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 29 Jul 2014 08:25:57 +0000 (10:25 +0200)
commitc6c1736a4510d17af0c7bb1573da3907181602e6
treed534dde8c7eb16b9048426502f83a9ca6b91e9c5
parent9b8b765edeb040d22bff3aff5d5e0901c24301b2
[mc] Renable the sparse snpashot tests (after fixing them)

This reverts commit 331c666b6237387356618583cf6708f2f981ea45.
buildtools/Cmake/AddTests.cmake
examples/msg/mc/bugged1_liveness_sparse.tesh
examples/msg/mc/bugged1_liveness_visited_sparse.tesh