Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] exit() instead of abort() in normal operation
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 2 Jun 2015 13:02:27 +0000 (15:02 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 2 Jun 2015 13:41:10 +0000 (15:41 +0200)
commitebb85bd0b304300f7556e5077d294baa717ddb79
treed0d3d01c4beeabfd2ea25d836fe226d23293d694
parent5dc6f3c7fb898d0b145d63384f013410fd042a59
[mc] exit() instead of abort() in normal operation
14 files changed:
buildtools/Cmake/DefinePackages.cmake
examples/msg/mc/bugged1.tesh
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
examples/msg/mc/bugged2.tesh
src/mc/mc_comm_determinism.cpp
src/mc/mc_exit.h [new file with mode: 0644]
src/mc/mc_liveness.cpp
src/mc/mc_safety.cpp
src/mc/mc_server.cpp
src/mc/mc_server.h
teshsuite/mc/replay/random_bug.tesh