Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Compile pthread-mutex-simple in a way that allows its model-checking
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 10 Jul 2022 22:22:01 +0000 (00:22 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Sun, 10 Jul 2022 22:22:11 +0000 (00:22 +0200)
commit4f2b4ebe4491d32c649a29144dcc65ada70b04f6
tree2e017ba22afe54bed01035ba2e782ab3257e467b
parentb31e581e1422bec5a4088d3cadb53f8bf39c38ee
Compile pthread-mutex-simple in a way that allows its model-checking
examples/sthread/CMakeLists.txt