Changes

Summary

Gracefully fail the MC if there is no actor to run (details)
2 more McMini tests (details)
sthread: ignore more binaries (details)
MC: add a soft timeout mechanism to only search for a given amount of time (details)
MC: take care of max depth in DFS too (details)
sthread: handle PTHREAD_COND_INITIALIZER (details)

Commit 2ba8c6f07adfbf36f0e11724fd2f190918100395 by Martin Quinson Gracefully fail the MC if there is no actor to run
The file was modified	src/mc/explo/simgrid_mc.cpp
The file was modified	src/mc/explo/Exploration.cpp
The file was modified	src/mc/explo/Exploration.hpp
Commit 17cdd4b0055ff36f5e39cc7379006870c6f1bf30 by Martin Quinson 2 more McMini tests
The file was added	teshsuite/mc/mcmini/simple_cond_broadcast_with_semaphore_deadlock2.tesh
The file was added	teshsuite/mc/mcmini/simple_cond_broadcast_with_semaphore_deadlock1.tesh
The file was added	teshsuite/mc/mcmini/simple_cond_broadcast_with_semaphore_deadlock2.c
The file was modified	teshsuite/mc/CMakeLists.txt
The file was added	teshsuite/mc/mcmini/simple_cond_broadcast_with_semaphore_deadlock1.c
The file was modified	MANIFEST.in
Commit 97eaebdf36115b712b7aa53f8b66384aabd57869 by Martin Quinson sthread: ignore more binaries
The file was modified	src/sthread/sthread_impl.cpp
Commit 3ff12b2a064142afafc2e4dc26764e7de66ba22d by Martin Quinson MC: add a soft timeout mechanism to only search for a given amount of time
The file was modified	src/mc/mc_config.cpp
The file was modified	src/mc/explo/Exploration.cpp
The file was modified	src/mc/explo/Exploration.hpp
The file was modified	docs/source/Configuring_SimGrid.rst
The file was modified	src/mc/mc_config.hpp
Commit 1c066af5f492973cc1ee58545faeebf4d3cf462a by Martin Quinson MC: take care of max depth in DFS too
The file was modified	src/mc/explo/DFSExplorer.cpp
Commit 1f1b85861ea71dd27d362b70f268b580c1f8c7c4 by Martin Quinson sthread: handle PTHREAD_COND_INITIALIZER
The file was modified	src/sthread/sthread_impl.cpp