model-checker : test examples for snapshot comparison

[simgrid.git] / doc / surf_nutshell.fig

diff --git a/doc/surf_nutshell.fig b/doc/surf_nutshell.fig
index d5d5962d965ed6eed1f313e2e53a410d0ebd8995..bca88ddc1a4810f809fb4115dbb34286ff4fcb9b 100644 (file)
--- a/doc/surf_nutshell.fig
+++ b/doc/surf_nutshell.fig
@@ -800,7 +800,7 @@ Single
 2 2 0 1 0 7 250 -1 20 0.000 0 0 -1 0 0 5
         21555 3870 19125 3870 19125 7470 21555 7470 21555 3870
 4 0 0 240 -1 0 12 0.0000 2 90 435 19260 4635 name\001
 2 2 0 1 0 7 250 -1 20 0.000 0 0 -1 0 0 5
         21555 3870 19125 3870 19125 7470 21555 7470 21555 3870
 4 0 0 240 -1 0 12 0.0000 2 90 435 19260 4635 name\001

-4 0 0 240 -1 0 12 0.0000 2 180 2385 19260 7110 incomming_communications\001
+4 0 0 240 -1 0 12 0.0000 2 180 2385 19260 7110 incoming_communications\001

 4 0 0 240 -1 0 12 0.0000 2 180 2205 19260 7335 outgoing_communications\001
 4 0 0 240 -1 0 12 0.0000 2 135 165 19260 6885 id\001
 4 0 0 240 -1 0 12 0.0000 2 180 1200 19260 4410 type (cpu|link)\001
 4 0 0 240 -1 0 12 0.0000 2 180 2205 19260 7335 outgoing_communications\001
 4 0 0 240 -1 0 12 0.0000 2 135 165 19260 6885 id\001
 4 0 0 240 -1 0 12 0.0000 2 180 1200 19260 4410 type (cpu|link)\001