Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Add tests of state equality reduction and nodpor for DFS explo
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 7 Aug 2022 23:39:35 +0000 (01:39 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 8 Aug 2022 00:01:35 +0000 (02:01 +0200)
commit713ee3aaf79f61905c8b0df05e5e787a525ebef2
treefaadad596efedd38593399ebe18df655d2565f04
parent54b931da542487537ab6ec3c4c8f5a9ec06822a7
Add tests of state equality reduction and nodpor for DFS explo
MANIFEST.in
examples/cpp/CMakeLists.txt
examples/cpp/mc-failing-assert/s4u-mc-failing-assert-nodpor.tesh [new file with mode: 0644]
examples/cpp/mc-failing-assert/s4u-mc-failing-assert-statequality.tesh [new file with mode: 0644]