Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Revalidate the tesh of some working MC tests
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 11 Feb 2022 23:43:22 +0000 (00:43 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 11 Feb 2022 23:43:22 +0000 (00:43 +0100)
commit5be69ef689eace0d9c4f15033c0fb6aa9e544ded
tree507a1e9bc8c74e984a5e3b7c9238a3e7b6e37cbe
parente5721d7f0ab4723d74421697c35c501447e3731b
Revalidate the tesh of some working MC tests
examples/cpp/mc-bugged1/s4u-mc-bugged1.tesh
examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh
examples/cpp/mc-failing-assert/s4u-mc-failing-assert.tesh