Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
A first example with MC and S4U together
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 14 May 2019 10:15:50 +0000 (12:15 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 14 May 2019 10:16:28 +0000 (12:16 +0200)
commit5cc0dbf7b395e9908158c91662cefececaeb5f19
tree86866e2a227d25bd70b177c27d32e1712669ce7d
parent83d62d72a9468f9f8e97b677dd40d5a2bd60ba86
A first example with MC and S4U together
examples/s4u/CMakeLists.txt
examples/s4u/README.rst
examples/s4u/mc-failing-assert/s4u-mc-failing-assert.cpp [new file with mode: 0644]
examples/s4u/mc-failing-assert/s4u-mc-failing-assert.tesh [new file with mode: 0644]