Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new example for liveness properties
[simgrid.git] / examples / cxx / ping_pong / ping_pong.tesh
1 $ ping_pong ping_pong_platform.xml ping_pong_deployment.xml\r
2 > [Inmos:Sender:(1) 0.000000] [cxx4msg/INFO] Hello\r
3 > [Inmos:Sender:(1) 0.000000] [cxx4msg/INFO] Host count : 1\r
4 > [Inmos:Sender:(1) 0.000000] [cxx4msg/INFO] Sender time : 0.000000\r
5 > [Bellevue:Receiver:(2) 0.000000] [cxx4msg/INFO] Hello\r
6 > [Bellevue:Receiver:(2) 0.000000] [cxx4msg/INFO] Try to get a task\r
7 > [Inmos:Sender:(1) 0.001462] [cxx4msg/INFO] Goodbye!\r
8 > [Bellevue:Receiver:(2) 0.001462] [cxx4msg/INFO] Got at time 0.001462\r
9 > [Bellevue:Receiver:(2) 0.001462] [cxx4msg/INFO] Was sent at time 0.000000\r
10 > [Bellevue:Receiver:(2) 0.001462] [cxx4msg/INFO] Communication time : 0.001462\r
11 > [Bellevue:Receiver:(2) 0.001462] [cxx4msg/INFO]  --- BW 68415215833.890411 ----\r
12 > [Bellevue:Receiver:(2) 0.001462] [cxx4msg/INFO] Goodbye!