model-checker : let some debug information with XBT_INFO

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

diff --git a/doc/webcruft/simgrid-101_001.png b/doc/webcruft/simgrid-101_001.png
index 97c6a47..5dfca4d 100644 (file)
Binary files a/doc/webcruft/simgrid-101_001.png and b/doc/webcruft/simgrid-101_001.png differ