Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Inline another stupid function
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 11 Feb 2022 20:47:52 +0000 (21:47 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 11 Feb 2022 20:47:52 +0000 (21:47 +0100)
commit6b79b3f894675d0303785e8f1bde1e5c57064625
tree4db775a6caeb12b413185f3e66e8d2956a3c0430
parent5f02257b1447bf5981110a73700dc9e3b2a91213
Inline another stupid function
src/mc/ModelChecker.cpp
src/mc/api.cpp
src/mc/checker/LivenessChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_record.cpp
src/mc/mc_record.hpp