From cf43f7d6117d1e5b8c55ebee06711c70f5bbca48 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Wed, 12 Apr 2023 17:49:30 +0200 Subject: [PATCH] Document a bit the MC changes --- ChangeLog | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ChangeLog b/ChangeLog index 7cb4558527..9fc7013d64 100644 --- a/ChangeLog +++ b/ChangeLog @@ -57,6 +57,10 @@ Model checking: - Synchronize the MBI tests with upstream. - Show the full actor bactraces when replaying a MC trace (with model-check/replay) and the status of all actors on deadlocks in MC mode. + - The safety/stateless aspects of the MC are now enabled by default in all simgrid builds. + Liveness and stateful aspects are still controled by the enabling_model-checking + configuration option. + - Stateless model-checking is now usable on any system, including Mac OSX and ARM processors. XBT: - simgrid::xbt::cmdline and simgrid::xbt::binary_name are gone. -- 2.20.1