model-checker : let some debug information with XBT_INFO

[simgrid.git] / doc / webcruft / simgrid-101.pdf

diff --git a/doc/webcruft/simgrid-101.pdf b/doc/webcruft/simgrid-101.pdf
index 25568aa..3799c17 100644 (file)
Binary files a/doc/webcruft/simgrid-101.pdf and b/doc/webcruft/simgrid-101.pdf differ