From 639d8a94d0c1921cee3a2cebdd9480d69a407761 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 13 Jun 2013 12:15:31 +0200
Subject: [PATCH] model-checker : increase timeout in tesh

---
 examples/msg/mc/bugged1.tesh | 1 +
 examples/msg/mc/bugged2.tesh | 1 +
 2 files changed, 2 insertions(+)

diff --git a/examples/msg/mc/bugged1.tesh b/examples/msg/mc/bugged1.tesh
index fb48186c45..7806f8f1a5 100644
--- a/examples/msg/mc/bugged1.tesh
+++ b/examples/msg/mc/bugged1.tesh
@@ -1,6 +1,7 @@
 #! ./tesh
 
 ! expect signal SIGABRT
+! timeout 20
 $ ${bindir:=.}/bugged1 --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
 > [  0.000000] (0:@) Configuration change: Set 'model-check' to '1'
 > [  0.000000] (0:@) Check a safety property
diff --git a/examples/msg/mc/bugged2.tesh b/examples/msg/mc/bugged2.tesh
index 32310a8367..e6cb1bed4d 100644
--- a/examples/msg/mc/bugged2.tesh
+++ b/examples/msg/mc/bugged2.tesh
@@ -1,6 +1,7 @@
 #! ./tesh
 
 ! expect signal SIGABRT
+! timeout 20
 $ ${bindir:=.}/bugged2 --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n"
 > [  0.000000] (0:@) Configuration change: Set 'model-check' to '1'
 > [  0.000000] (0:@) Check a safety property
-- 
2.20.1