From 7fef11c314bee09a58c9e05a11b82b4d4a17d8f1 Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 29 Nov 2012 14:09:04 +0100 Subject: [PATCH] model-checker : increase tesh timeout --- examples/msg/mc/bugged1_liveness.tesh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/msg/mc/bugged1_liveness.tesh b/examples/msg/mc/bugged1_liveness.tesh index 5f1d3da5a7..ac6e0b4709 100644 --- a/examples/msg/mc/bugged1_liveness.tesh +++ b/examples/msg/mc/bugged1_liveness.tesh @@ -1,8 +1,8 @@ #! ./tesh ! expect signal SIGABRT -! timeout 60 -$ ${bindir:=.}/bugged1_liveness --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" +! timeout 200 +$ ${bindir:=.}/bugged1_liveness --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_bugged1_liveness -- 2.20.1