model-checker : update MSG bugged mutual exclusion example

[simgrid.git] / examples / java / async / async.tesh

diff --git a/examples/java/async/async.tesh b/examples/java/async/async.tesh
index 6625851592582c0af674bac61b13b9aa5b8c204a..bc6b11ce3e2f45e14f8e8fe14f3ff01e70a3570d 100644 (file)
--- a/examples/java/async/async.tesh
+++ b/examples/java/async/async.tesh
@@ -1,7 +1,7 @@
 #! tesh
 
 ! output sort
-
+! timeout 15
 $ java -cp ${classpath:=.} async/AsyncTest ${srcdir:=.}/platform.xml ${srcdir:=.}/async/asyncDeployment.xml "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
 > [  0.000000] (10:async.Slave@Robert) Receiving on 'slave_8'
 > [  0.000000] (11:async.Slave@Sirois) Receiving on 'slave_9'