Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3157f52) | patch
kill ModelChecker::simcall_is_visible()
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 19 Feb 2022 23:13:59 +0000 (00:13 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sat, 19 Feb 2022 23:14:04 +0000 (00:14 +0100)
commite920a5835d1d64051bb56c25d5ed9f3e0665c0fa
tree67b2de6053df513e3a287d38d99626e6438ed52etree | snapshot
parent3157f525692738e7d8c57543ce66ad9424973558commit | diff
kill ModelChecker::simcall_is_visible()

no need for the checker to check whether a simcall is visible:
invisible simcalls are handled in the AppSide and never show up on the
cheker side.
src/mc/ModelChecker.cpp diff | blob | history
src/mc/ModelChecker.hpp diff | blob | history
src/mc/remote/AppSide.cpp diff | blob | history
src/mc/remote/mc_protocol.h diff | blob | history
Clone of SimGrid repository with local patches