Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
revalidate the tesh files after fixing #195
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 5 Jul 2017 22:45:40 +0000 (00:45 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 5 Jul 2017 22:49:44 +0000 (00:49 +0200)
commit55218bd35ab6da7cbfd41bf5bff9fe6eaeec0750
treebea07db2ff904ce2b4d7d223e0c1fbbdfabbca2f
parent0dda9bcd2d7df2c8141a8170a7cb8fe20746b4a9
revalidate the tesh files after fixing #195
examples/s4u/actor-create/s4u_actor-create.tesh
examples/s4u/io/s4u_io.tesh
examples/s4u/mutex/s4u_mutex.tesh
teshsuite/s4u/actor/actor.tesh
teshsuite/s4u/host_on_off_wait/host_on_off_wait.tesh
teshsuite/simix/generic_simcalls/generic_simcalls.tesh
teshsuite/simix/stack_overflow/stack_overflow.tesh