Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
mcapi::s_restore_initial_state() renamed to mcapi::restore_initial_state()
authorEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 30 Nov 2020 09:02:41 +0000 (10:02 +0100)
committerEhsan Azimi <eazimi@ehsan.irisa.fr>
Mon, 30 Nov 2020 09:02:41 +0000 (10:02 +0100)
commit3bf8dd63803f44adc6ef0fd84474b515b5df960c
tree0d40642a4713e6b53193d4e45cc5f9f5f2ec8131
parent3a4ce12090813eec44fb68c53ff18ef41d2ad571
mcapi::s_restore_initial_state() renamed to mcapi::restore_initial_state()
src/mc/checker/CommunicationDeterminismChecker.cpp
src/mc/checker/SafetyChecker.cpp
src/mc/mc_api.cpp
src/mc/mc_api.hpp