Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9f16600) | patch
stop forbidding semaphores and cond variables in model-checked code
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 8 May 2017 21:07:31 +0000 (23:07 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 8 May 2017 21:07:34 +0000 (23:07 +0200)
commitd67913389a462ad30f7ab68f466209e9962b52af
treeb84e6c74b0aeb6be110bc67ccf2242230b0b4c26tree | snapshot
parent9f1660082076723d68ddda6efed0f51c638b05abcommit | diff
stop forbidding semaphores and cond variables in model-checked code

It may work, or it may deadlock the exploration when exploring a
branch where the synchronization cannot be acquired, not quite sure.
(fix #149)
src/mc/mc_base.cpp diff | blob | history
Clone of SimGrid repository with local patches