Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add comments for the example bugged2_liveness
[simgrid.git] / examples / msg / gtnets / tracing-gtnets-onelink-gtnets.tesh
1 #! ./tesh
2
3 p Testing onelink communication pattern with GTNets model
4
5 $ gtnets/gtnets ${srcdir:=.}/gtnets/onelink-p.xml ${srcdir:=.}/gtnets/onelink-d.xml --cfg=tracing/filename:onelink_gtnets.trace --cfg=tracing/categorized:1 --cfg=workstation/model:compound --cfg=cpu/model:Cas01 --cfg=network/model:GTNets
6 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'tracing/filename' to 'onelink_gtnets.trace'
7 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'tracing/categorized' to '1'
8 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'workstation/model' to 'compound'
9 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'cpu/model' to 'Cas01'
10 > [0.000000] [xbt_cfg/INFO] Configuration change: Set 'network/model' to 'GTNets'
11 > [0.000000] [surf_network_gtnets_interface/INFO] TCP window maximum size : 20000
12 > [C1:slave:(2) 106.291000] [msg_test/INFO] ===> Estimated Bw of FLOW[1] : 9408.134273 ;  message from S1 to C1  with remaining : 0.000000
13