Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 14bddad) | patch
Add an assert that the checker don't try to exec disabled transitions
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 7 Nov 2023 22:25:46 +0000 (23:25 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 7 Nov 2023 22:25:52 +0000 (23:25 +0100)
commitf01650f24121782b62c9ddca5bacb4e5867a8230
tree7530dc03cdadc00734a16b6fa0e07b8e91e54d74tree | snapshot
parent14bddad6ad3fcf94b0bcdeb69ef68350efb5b213commit | diff
Add an assert that the checker don't try to exec disabled transitions

It's too bad this assert actually fails sometimes with ODPOR :)
src/mc/remote/AppSide.cpp diff | blob | history
Clone of SimGrid repository with local patches