From 65c690ca7dab61d8e1df17a02cad9a115ccce23f Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 21 Jan 2010 22:59:40 +0000 Subject: [PATCH] Some tidying of PTA examples. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1698 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/examples/pta/firewire/abst/auto | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/prism/examples/pta/firewire/abst/auto b/prism/examples/pta/firewire/abst/auto index 5c8f410d..486e3fb7 100755 --- a/prism/examples/pta/firewire/abst/auto +++ b/prism/examples/pta/firewire/abst/auto @@ -1,9 +1,9 @@ #!/bin/csh -prism firewire/abst/{firewire.nm,eventually.pctl} -const delay=360 -aroptions nopre,refine=all,opt +prism firewire.nm eventually.pctl -const delay=360 -aroptions nopre,refine=all,opt -prism firewire/abst/{firewire.nm,deadline.pctl} -const delay=360,T=5000 -aroptions nopre,refine=all,opt -prism firewire/abst/{firewire.nm,deadline.pctl} -const delay=360,T=10000 -aroptions nopre,refine=all,opt -prism firewire/abst/{firewire.nm,deadline.pctl} -const delay=360,T=20000 -aroptions nopre,refine=all,opt +prism firewire.nm deadline.pctl -const delay=360,T=5000 -aroptions nopre,refine=all,opt +prism firewire.nm deadline.pctl -const delay=360,T=10000 -aroptions nopre,refine=all,opt +prism firewire.nm deadline.pctl -const delay=360,T=20000 -aroptions nopre,refine=all,opt -#prism firewire/abst/{firewire.nm,time.pctl} -const delay=360 -aroptions nopre,refine=all,opt +#prism firewire.nm time.pctl -const delay=360 -aroptions nopre,refine=all,opt