model-checker : let some debug information with XBT_INFO

[simgrid.git] / doc / webcruft / simgrid-101_023.png

diff --git a/doc/webcruft/simgrid-101_023.png b/doc/webcruft/simgrid-101_023.png
index 0eb3768..7b2a614 100644 (file)
Binary files a/doc/webcruft/simgrid-101_023.png and b/doc/webcruft/simgrid-101_023.png differ