From 4df5992fe329d09bbc2f5d6cac9565361cd14bfb Mon Sep 17 00:00:00 2001 From: Marion Guthmuller Date: Thu, 22 Nov 2012 09:34:15 +0100 Subject: [PATCH] model-checker : increase timeout in tesh chord_neverjoin --- examples/msg/mc/chord/chord_neverjoin.tesh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/msg/mc/chord/chord_neverjoin.tesh b/examples/msg/mc/chord/chord_neverjoin.tesh index ea12ba5cc3..5e648545ab 100644 --- a/examples/msg/mc/chord/chord_neverjoin.tesh +++ b/examples/msg/mc/chord/chord_neverjoin.tesh @@ -1,8 +1,8 @@ #! ./tesh ! expect signal SIGABRT -! timeout 60 -$ ${bindir:=.}/chord_liveness --cfg=model-check:1 "--log=root.fmt:[%10.6r]%e(%i:%P@%h)%e%m%n" +! timeout 120 +$ ${bindir:=.}/chord_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_chord_liveness -- 2.20.1