Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a25c38) | patch
Use less of state->internal_req_ and more of state->executed_req_
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 8 Mar 2021 16:17:37 +0000 (17:17 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 8 Mar 2021 16:17:44 +0000 (17:17 +0100)
commit755b4e05abb4ddee202ea6ef7eda38b51b586744
treef8d2dade789e0d72fd077323976d87df17fc8bf1tree | snapshot
parent9a25c382bb054e8e753a03e318ad4f2564152915commit | diff
Use less of state->internal_req_ and more of state->executed_req_

The idea is to soon kill internal_req and have the dependency checking
do the conversion WAITANY -> WAIT and TESTANY -> TEST on its own.
src/mc/checker/SafetyChecker.cpp diff | blob | history
Clone of SimGrid repository with local patches