Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: this bug was disabling state equality detection
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 10 Apr 2017 23:26:26 +0000 (01:26 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 10 Apr 2017 23:28:37 +0000 (01:28 +0200)
commit35b406733ae5c5b8463d3712a09b430d8585ce6d
tree4793fd2211176037b0b1417cd59a1b2b90107350
parenta2f1d16195ebdb7f891212f3e210e0889eb83c21
MC: this bug was disabling state equality detection

The variable is an integer being the maximal amount of state that we
save at the same time (typically 1000). I'm not sure which int value
is equal to "true", but I guess it's not 1000.
src/mc/checker/SafetyChecker.cpp