Changes

Summary

Revalidate MC tesh files (details)

Commit 7dc292ac40e612679502e769571732594667a8b1 by Mathieu Laurent Revalidate MC tesh files
The file was modified	examples/sthread/pthread-mc-producer-consumer.tesh
The file was modified	teshsuite/mc/random-bug/random-bug.tesh
The file was modified	examples/sthread/stdobject/stdobject.tesh
The file was modified	examples/cpp/mc-failing-assert/s4u-mc-failing-assert-nodpor.tesh
The file was modified	teshsuite/mc/mcmini/barber_shop_ok.tesh
The file was modified	examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh
The file was modified	teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh
The file was modified	teshsuite/mc/mcmini/simple_semaphore_deadlock.tesh
The file was modified	teshsuite/mc/mcmini/simple_barrier_with_threads_deadlock.tesh
The file was modified	teshsuite/mc/mcmini/simple_semaphores_with_threads_deadlock.tesh
The file was modified	examples/cpp/mc-failing-assert/s4u-mc-failing-assert.tesh
The file was modified	teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.tesh
The file was modified	teshsuite/mc/mcmini/simple_mutex_with_threads_deadlock.tesh
The file was modified	examples/sthread/pthread-mc-mutex-simpledeadlock.tesh
The file was modified	teshsuite/mc/mcmini/producer_consumer_deadlock.tesh
The file was modified	teshsuite/mc/mcmini/simple_cond_broadcast_with_semaphore_deadlock2.tesh
The file was modified	examples/cpp/synchro-semaphore/s4u-mc-synchro-semaphore.tesh
The file was modified	teshsuite/mc/mcmini/simple_cond_broadcast_with_semaphore_deadlock1.tesh
The file was modified	teshsuite/mc/mcmini/simple_mutex_deadlock.tesh
The file was modified	teshsuite/mc/mcmini/producer_consumer_ok.tesh
The file was modified	examples/cpp/synchro-barrier/s4u-mc-synchro-barrier.tesh
The file was modified	examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh
The file was modified	teshsuite/mc/mcmini/simple_cond_deadlock.tesh
The file was modified	teshsuite/mc/mcmini/philosophers_semaphores_deadlock.tesh
The file was modified	teshsuite/mc/mcmini/simple_barrier_deadlock.tesh
The file was modified	teshsuite/mc/mcmini/philosophers_mutex_deadlock.tesh
The file was modified	teshsuite/mc/mcmini/simple_semaphores_deadlock.tesh
The file was modified	teshsuite/mc/mcmini/barber_shop_deadlock.tesh
The file was modified	examples/smpi/mc/sendsend.tesh
The file was modified	examples/cpp/mc-bugged1/s4u-mc-bugged1.tesh
The file was modified	examples/smpi/mc/only_send_deterministic.tesh
The file was modified	teshsuite/mc/mcmini/philosophers_semaphores_ok.tesh
The file was modified	teshsuite/mc/mcmini/simple_cond_broadcast_ok.tesh
The file was modified	teshsuite/mc/mcmini/simple_cond_broadcast_deadlock.tesh