model-checker : update snapshot_comparison tests

[simgrid.git] / examples / msg / link5_state.trace

diff --git a/examples/msg/link5_state.trace b/examples/msg/link5_state.trace
index bc5ff5c43c5143d213c6a1866f87f35f981cf082..ac7300ae88245b6b55725de2d4c16f36aa5b8628 100644 (file)
--- a/examples/msg/link5_state.trace
+++ b/examples/msg/link5_state.trace
@@ -1,3 +1,3 @@
 0 1
-1.0 0
-10 1
+30 0
+35 1