Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Kill some use of the mc_model_checker global variable
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 14 Mar 2021 00:37:42 +0000 (01:37 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 14 Mar 2021 01:25:49 +0000 (02:25 +0100)
commit85083263d391115f7beee33984bc837e0d940387
treee68642d0db71837bbb2dcec5ee587257d198f375
parentfa84bee017477630eea9a93890e0e2abf3855bf9
Kill some use of the mc_model_checker global variable
src/mc/ModelChecker.cpp
src/mc/api.cpp
src/mc/compare.cpp
src/mc/mc_request.cpp
src/mc/mc_request.hpp