model-checker : text segment is read and exec only

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

diff --git a/doc/webcruft/simgrid-101_003.png b/doc/webcruft/simgrid-101_003.png
index 8ab86c1bc5ecda97bf2768262d4c33ca2c29f793..02b80fc84d9a6c5f7b56152da08627147585b305 100644 (file)
Binary files a/doc/webcruft/simgrid-101_003.png and b/doc/webcruft/simgrid-101_003.png differ