From 2fa1480895fb79af5706f75a311fdec32b33ce95 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 6 Aug 2009 12:42:45 +0000 Subject: [PATCH] Fixed FireWire impl auto file. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1400 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/firewire/impl/auto | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/prism-examples/firewire/impl/auto b/prism-examples/firewire/impl/auto index c030a329..73c844e9 100755 --- a/prism-examples/firewire/impl/auto +++ b/prism-examples/firewire/impl/auto @@ -4,15 +4,16 @@ 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 +prism firewire.nm expected.pctl -const delay=3,fast=0.2:0.1:0.8 -prop 1 -s +#prism firewire.nm expected.pctl -const delay=36,fast=0.2:0.1:0.8 -prop 1 =m # maximum expected time sending -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 +prism firewire.nm expected.pctl -const delay=3,fast=0.2:0.1:0.8 -prop 2 -s +#prism firewire.nm expected.pctl -const delay=36,fast=0.2:0.1:0.8 -prop 2 -m # deadline properties -foreach deadline (200) # 300 400 500 600 800 1000) - prism deadline.nm deadline.pctl -const deadline=$deadline,delay=36,fast=0.5 -m +foreach deadline (200 300 400) # 500 600 800 1000) + prism deadline.nm deadline.pctl -const deadline=$deadline,delay=3,fast=0.5 -s +# prism deadline.nm deadline.pctl -const deadline=$deadline,delay=36,fast=0.5 -m end