From 1fb08bfd88ea0a1e8b4c1ec2b0ec4519126b6c51 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 29 Nov 2012 14:02:15 +0100 Subject: [PATCH 1/1] model-checker : increase tesh timeouts --- examples/msg/mc/test/snapshot_comparison1.tesh | 4 ++-- examples/msg/mc/test/snapshot_comparison2.tesh | 2 +- examples/msg/mc/test/snapshot_comparison3.tesh | 2 +- examples/msg/mc/test/snapshot_comparison4.tesh | 2 +- examples/msg/mc/test/snapshot_comparison5.tesh | 2 +- 5 files changed, 6 insertions(+), 6 deletions(-) diff --git a/examples/msg/mc/test/snapshot_comparison1.tesh b/examples/msg/mc/test/snapshot_comparison1.tesh index 1e50d3155e..8e2dc36b1a 100644 --- a/examples/msg/mc/test/snapshot_comparison1.tesh +++ b/examples/msg/mc/test/snapshot_comparison1.tesh @@ -1,8 +1,8 @@ #! ./tesh ! expect signal SIGABRT -! timeout 120 -$ ${bindir:=.}/snapshot_comparison1 --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" +! timeout 200 +$ ${bindir:=.}/snapshot_comparison1 --cfg=model-check:1 --cfg=contexts/factory:ucontext "--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 > [ 0.000000] (0:@) Check the liveness property promela diff --git a/examples/msg/mc/test/snapshot_comparison2.tesh b/examples/msg/mc/test/snapshot_comparison2.tesh index bb14f75fba..8e3798c2d8 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 120 +! timeout 200 $ ${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 d6cb54946d..37a7635651 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 120 +! timeout 200 $ ${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 146d2b8bc0..ba6fec7f6f 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 120 +! timeout 200 $ ${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 8df68daf55..010ab35faa 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 120 +! timeout 200 $ ${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 -- 2.20.1