Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cleanups in tesh examples
[simgrid.git] / teshsuite / msg / get_sender.tesh
1 ! output sort
2 $ msg/get_sender  ${srcdir:=.}/msg/get_sender_p.xml ${srcdir:=.}/msg/get_sender_d.xml "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
3 > [  0.000000] (1:send@toto) Sending
4 > [  0.000000] (2:receive@toto) Receiving
5 > [  0.000000] (2:receive@toto) Got a message sent by 'send'
6 > [  1.000000] (1:send@toto) Exiting