model-checker : print statistics in all cases (property satisfied or not)

[simgrid.git] / doc / simgrid.zargo

diff --git a/doc/simgrid.zargo b/doc/simgrid.zargo
index 3afbe30..c09b986 100644 (file)
Binary files a/doc/simgrid.zargo and b/doc/simgrid.zargo differ