Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Don't test statequality: it's ~15h w/o DPOR and hard to optimize
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 8 Aug 2022 23:17:39 +0000 (01:17 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 8 Aug 2022 23:17:39 +0000 (01:17 +0200)
commitecd057376de847d40e1e29e2bf33e95eae3f835f
tree7b9838bcda10bc8c83792712cc7d4fb2663b6337
parentd75fff3ccf9a0caf5d851cfd9dee6a2a0fe47864
Don't test statequality: it's ~15h w/o DPOR and hard to optimize
examples/cpp/CMakeLists.txt
examples/cpp/mc-failing-assert/s4u-mc-failing-assert-statequality.tesh
src/mc/compare.cpp