From d67d499f24bb40bed4e34aed8fa91e62ff7e3a6d Mon Sep 17 00:00:00 2001 From: Gethin Norman Date: Fri, 5 Dec 2008 12:06:18 +0000 Subject: [PATCH] updated auto file git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@848 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/firewire/abst/auto | 2 ++ 1 file changed, 2 insertions(+) diff --git a/prism-examples/firewire/abst/auto b/prism-examples/firewire/abst/auto index 8cab667b..84f2ef0b 100755 --- a/prism-examples/firewire/abst/auto +++ b/prism-examples/firewire/abst/auto @@ -4,9 +4,11 @@ prism firewire.nm liveness.pctl -const delay=36,fast=0.5 -m # maximum expected time +prism firewire.nm expected.pctl -const delay=3,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 1 # maximum expected time +prism firewire.nm expected.pctl -const delay=3,fast=0.2:0.1:0.8 -m -prop 2 prism firewire.nm expected.pctl -const delay=36,fast=0.2:0.1:0.8 -m -prop 2 # deadline properties