From e9cfa970f620f69ef2a4095f22a2330121768f23 Mon Sep 17 00:00:00 2001 From: Gethin Norman Date: Fri, 5 Dec 2008 12:03:01 +0000 Subject: [PATCH] bug in auto file git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@847 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/firewire/abst/auto | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism-examples/firewire/abst/auto b/prism-examples/firewire/abst/auto index 422b42c6..8cab667b 100755 --- a/prism-examples/firewire/abst/auto +++ b/prism-examples/firewire/abst/auto @@ -7,7 +7,7 @@ prism firewire.nm liveness.pctl -const delay=36,fast=0.5 -m prism firewire.nm expected.pctl -const delay=36,fast=0.2:0.1:0.8 -m -prop 1 # maximum expected time -prism firewire.nm expected.pctl -const delay=36,fast=0.2:0.1:0.8 -m -prop 1 +prism firewire.nm expected.pctl -const delay=36,fast=0.2:0.1:0.8 -m -prop 2 # deadline properties foreach deadline (200 300 400 500 600) # 800 1000)