From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Thu, 22 Nov 2012 08:33:03 +0000 (+0100)
Subject: model-checker : increase timeout in tesh snapshot_comparison[1-5]
X-Git-Tag: v3_9_rc1~91^2~55^2~1
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/1f28bb6ad97b952706794172827423fd4e258abc?ds=sidebyside

model-checker : increase timeout in tesh snapshot_comparison[1-5]
---

diff --git a/examples/msg/mc/test/snapshot_comparison1.tesh b/examples/msg/mc/test/snapshot_comparison1.tesh
index a2f0e014cc..1e50d3155e 100644
--- a/examples/msg/mc/test/snapshot_comparison1.tesh
+++ b/examples/msg/mc/test/snapshot_comparison1.tesh
@@ -1,7 +1,7 @@
 #! ./tesh
 
 ! expect signal SIGABRT
-! timeout 60
+! timeout 120
 $ ${bindir:=.}/snapshot_comparison1 --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:@) type in variable = 2
diff --git a/examples/msg/mc/test/snapshot_comparison2.tesh b/examples/msg/mc/test/snapshot_comparison2.tesh
index b1e8aab547..bb14f75fba 100644
--- a/examples/msg/mc/test/snapshot_comparison2.tesh
+++ b/examples/msg/mc/test/snapshot_comparison2.tesh
@@ -1,7 +1,7 @@
 #! ./tesh
 
 ! expect signal SIGABRT
-! timeout 60
+! timeout 120
 $ ${bindir:=.}/snapshot_comparison2 --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:@) type in variable = 2
diff --git a/examples/msg/mc/test/snapshot_comparison3.tesh b/examples/msg/mc/test/snapshot_comparison3.tesh
index 224e513040..d6cb54946d 100644
--- a/examples/msg/mc/test/snapshot_comparison3.tesh
+++ b/examples/msg/mc/test/snapshot_comparison3.tesh
@@ -1,7 +1,7 @@
 #! ./tesh
 
 ! expect signal SIGABRT
-! timeout 60
+! timeout 120
 $ ${bindir:=.}/snapshot_comparison3 --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:@) type in variable = 2
diff --git a/examples/msg/mc/test/snapshot_comparison4.tesh b/examples/msg/mc/test/snapshot_comparison4.tesh
index 8485829f1b..146d2b8bc0 100644
--- a/examples/msg/mc/test/snapshot_comparison4.tesh
+++ b/examples/msg/mc/test/snapshot_comparison4.tesh
@@ -1,7 +1,7 @@
 #! ./tesh
 
 ! expect signal SIGABRT
-! timeout 60
+! timeout 120
 $ ${bindir:=.}/snapshot_comparison4 --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:@) type in variable = 2
diff --git a/examples/msg/mc/test/snapshot_comparison5.tesh b/examples/msg/mc/test/snapshot_comparison5.tesh
index 3ba1819976..8df68daf55 100644
--- a/examples/msg/mc/test/snapshot_comparison5.tesh
+++ b/examples/msg/mc/test/snapshot_comparison5.tesh
@@ -1,7 +1,7 @@
 #! ./tesh
 
 ! expect signal SIGABRT
-! timeout 60
+! timeout 120
 $ ${bindir:=.}/snapshot_comparison5 --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:@) type in variable = 2