Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Rename SafetyChecker::is_exploration_stack_state() into checkNonDeterminism()
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 4 Apr 2016 13:44:50 +0000 (15:44 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 4 Apr 2016 13:44:50 +0000 (15:44 +0200)
commitdf016dbb4c27e8824d3f108cec36e76cf35eeb06
tree7aac26ce3d07fc32c4fd98693f2f583b37517b70
parent2376a01092173679830310f4d57b267445959f97
[mc] Rename SafetyChecker::is_exploration_stack_state() into checkNonDeterminism()
src/mc/SafetyChecker.cpp
src/mc/SafetyChecker.hpp