X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f6b6e6dd5e6f528e4b5389317085e6f4a984dfbe..2e2c91eaa94e8fa79a41bbcdd443f55ad2a37f19:/ChangeLog diff --git a/ChangeLog b/ChangeLog index e5782ea712..c3dd61afbc 100644 --- a/ChangeLog +++ b/ChangeLog @@ -42,7 +42,7 @@ sthread: - Allow to use on valgrind-observed processes - Install sthread on user's disk. - Implement recursive pthreads. - - Add some McMini codes to test sthread further. + - Add some McMini codes to test sthread further (controlled with enable_testsuite_McMini). Model checking: - More informative backtraces on assertion failure.