model-checker : add comments for the example bugged2_liveness

[simgrid.git] / examples / msg / gtnets / tracing-gtnets-waxman.tesh

diff --git a/examples/msg/gtnets/tracing-gtnets-waxman.tesh b/examples/msg/gtnets/tracing-gtnets-waxman.tesh
index 42d4e6e..5888081 100644 (file)
--- a/examples/msg/gtnets/tracing-gtnets-waxman.tesh
+++ b/examples/msg/gtnets/tracing-gtnets-waxman.tesh
@@ -10,8 +10,6 @@ $ gtnets/gtnets ${srcdir:=.}/gtnets/waxman-p.xml ${srcdir:=.}/gtnets/waxman-d.xm
 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'cpu/model' to 'Cas01'
 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'network/model' to 'GTNets'
 > [0.000000] [surf_network_gtnets_interface/INFO] TCP window maximum size : 20000
-> [Gavrel:master:(245) 0.016724] [msg_test/INFO] Send completed (to Lafontaine). Transfer time: 0.016724        Agregate bandwidth: 5979535.896806
-> [Gavrel:master:(245) 0.016724] [msg_test/INFO] Completed peer: Lafontaine time: 0.016724
 > [Lafontaine:slave:(246) 0.016724] [msg_test/INFO] ===> Estimated Bw of FLOW[1] : 59795.358968 ;  message from Ouellet to Amadeus  with remaining : 99000.000000
 > [Lafontaine:slave:(246) 0.016724] [msg_test/INFO] ===> Estimated Bw of FLOW[2] : 5979535.896806 ;  message from Plante to Lecavalier  with remaining : 0.000000
 > [Lafontaine:slave:(246) 0.016724] [msg_test/INFO] ===> Estimated Bw of FLOW[3] : 5979535.896806 ;  message from Renato to Marseille  with remaining : 0.000000