Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove ignored lines from tesh files, uberbumer
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Nov 2023 10:32:59 +0000 (11:32 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Nov 2023 10:32:59 +0000 (11:32 +0100)
commitbc2dfd3f45249f43cc56579e52cc1bbe465113e1
treed7b80c57b616067d01061f7b7d8fe39e6acf0442
parent324aff3dddd2b064ea4dc59c82454e2e391b9792
Remove ignored lines from tesh files, uberbumer
examples/sthread/pthread-mc-mutex-recursive.tesh
examples/sthread/pthread-mc-mutex-simple.tesh
examples/sthread/pthread-mc-mutex-simpledeadlock.tesh
examples/sthread/pthread-mc-producer-consumer.tesh
examples/sthread/pthread-mutex-recursive.tesh
examples/sthread/pthread-mutex-simple.tesh
examples/sthread/pthread-producer-consumer.tesh
examples/sthread/stdobject/stdobject.tesh
examples/sthread/sthread-mutex-simple.tesh
teshsuite/mc/CMakeLists.txt
teshsuite/mc/mcmini/barber_shop_ok.tesh