Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC replay: check whether there is a deadlock after running the trace
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 31 Oct 2022 23:35:54 +0000 (00:35 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 31 Oct 2022 23:45:41 +0000 (00:45 +0100)
commit42649772642447bc6a78ddeab90f736bfaa31382
tree965a776061f1ad97cb168e70c7c9613ed5532c2d
parent64267f7e36562e503aa04a2895707d74b37cc7a2
MC replay: check whether there  is a deadlock after running the trace
src/mc/mc_record.cpp
teshsuite/mc/random-bug/random-bug-replay.tesh