Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Rename a checkNonDeterminism() to checkNonTermination()
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 08:18:45 +0000 (10:18 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 5 Apr 2016 14:32:44 +0000 (16:32 +0200)
commit22ae122fc49e735aa793d58048e1dd3d1a6ce85c
tree5b47cc7cb15cc3d73e2f2307c26a663ef777388e
parent767a7a537b2ac742705d23b8dcb25d64cd36a2ee
[mc] Rename a checkNonDeterminism() to checkNonTermination()

because this is what we're doing.
src/mc/SafetyChecker.cpp
src/mc/SafetyChecker.hpp