From 5b1c52a22021522ccc8a4f16066d9ba8e4cb0ebb Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 18 Feb 2010 16:30:09 +0000 Subject: [PATCH] PTA files tidy. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1746 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/examples/pta/csma/abst/auto | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) diff --git a/prism/examples/pta/csma/abst/auto b/prism/examples/pta/csma/abst/auto index 6940d1b2..61df4d1e 100755 --- a/prism/examples/pta/csma/abst/auto +++ b/prism/examples/pta/csma/abst/auto @@ -1,11 +1,7 @@ #!/bin/csh -prism csma.nm collisions.pctl -const bmax=2,K=4 -aroptions refine=all,nopre,opt -prism csma.nm collisions.pctl -const bmax=2,K=8 -aroptions refine=all,nopre,opt -prism csma.nm collisions.pctl -const bmax=4,K=4 -aroptions refine=all,nopre,opt -prism csma.nm collisions.pctl -const bmax=4,K=8 -aroptions refine=all,nopre,opt +prism csma.nm -const bmax=1 eventually.pctl -aroptions refine=all,nopre,opt -prism csma.nm time.pctl -const bmax=1,K=0 -aroptions refine=all,nopre,opt -prism csma.nm time.pctl -const bmax=2,K=0 -aroptions refine=all,nopre,opt -prism csma.nm time.pctl -const bmax=3,K=0 -aroptions refine=all,nopre,opt -prism csma.nm time.pctl -const bmax=4,K=0 -aroptions refine=all,nopre,opt \ No newline at end of file +prism csma.nm -const bmax=1 deadline.pctl -const T=1000 -aroptions refine=all,nopre,opt +prism csma.nm -const bmax=1 deadline.pctl -const T=2000 -aroptions refine=all,nopre,opt +prism csma.nm -const bmax=1 deadline.pctl -const T=3000 -aroptions refine=all,nopre,opt