From 42a2c7f83edcedc3e67093419fe1676722f029ea Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 30 Jul 2009 07:31:53 +0000 Subject: [PATCH] Engine change in Firewire auto file. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1364 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/firewire/impl/auto | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/prism-examples/firewire/impl/auto b/prism-examples/firewire/impl/auto index 97b35868..c030a329 100755 --- a/prism-examples/firewire/impl/auto +++ b/prism-examples/firewire/impl/auto @@ -4,12 +4,12 @@ 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 -prop 1 -prism firewire.nm expected.pctl -const delay=36,fast=0.2:0.1:0.8 -prop 1 +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 sending -prism firewire.nm expected.pctl -const delay=3,fast=0.2:0.1:0.8 -prop 2 -prism firewire.nm expected.pctl -const delay=36,fast=0.2:0.1:0.8 -prop 2 +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 foreach deadline (200) # 300 400 500 600 800 1000)