Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC/compare: cleanup++
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 10 Jul 2019 15:54:40 +0000 (17:54 +0200)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Wed, 10 Jul 2019 16:12:01 +0000 (18:12 +0200)
commit1716090883038167211da78d54336cca61af6b85
treea7ec754925cd166c8326215d68ebc1e508eef067
parente84a37330d269edde72d9aabb894b19b0cebd686
MC/compare: cleanup++
src/mc/VisitedState.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/LivenessChecker.hpp
src/mc/checker/SafetyChecker.cpp
src/mc/compare.cpp
src/mc/mc_private.hpp