Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move some MC_show_non_termination() in SafetyChecker.cpp
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 15:40:22 +0000 (16:40 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 23 Mar 2016 15:40:22 +0000 (16:40 +0100)
commitff971a5b9ba883f03673047d58fe1002e247727d
treeca4d19f81c43478e7f17fc4890be97ba756f6bef
parent593c432c9b3f4c9476851d83b167afc9b38f27b5
[mc] Move some MC_show_non_termination() in SafetyChecker.cpp
src/mc/SafetyChecker.cpp
src/mc/mc_global.cpp
src/mc/mc_private.h