From 5f14c022af085143674313f77ac7cf95460104b0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 21 Jan 2010 20:53:00 +0000 Subject: [PATCH] Moving PTA des files to a separate directory. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1693 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/examples/{pta => des}/csma-auto.sh | 0 prism/examples/{pta => des}/csma-tests.sh | 0 prism/examples/{pta => des}/firewire-auto.sh | 0 prism/examples/{pta => des}/firewire-tests.sh | 0 prism/examples/{pta => des}/repudiation-auto.sh | 0 prism/examples/{pta => des}/repudiation-tests.sh | 0 prism/examples/{pta/simple.sh => des/simple-auto.sh} | 0 prism/examples/{pta => des}/simple/formats.des | 0 prism/examples/{pta => des}/simple/formats.v1.des | 0 prism/examples/{pta => des}/simple/formats.v2.des | 0 prism/examples/{pta => des}/simple/gethin1.des | 0 prism/examples/{pta => des}/simple/gethin2.des | 0 prism/examples/{pta => des}/simple/iandc.des | 0 prism/examples/{pta => des}/simple/tcs.des | 0 prism/examples/{pta => des}/zeroconf-auto.sh | 0 prism/examples/{pta => des}/zeroconf-tests.sh | 0 prism/examples/pta/simple-prism.sh | 12 ------------ 17 files changed, 12 deletions(-) rename prism/examples/{pta => des}/csma-auto.sh (100%) rename prism/examples/{pta => des}/csma-tests.sh (100%) rename prism/examples/{pta => des}/firewire-auto.sh (100%) rename prism/examples/{pta => des}/firewire-tests.sh (100%) rename prism/examples/{pta => des}/repudiation-auto.sh (100%) rename prism/examples/{pta => des}/repudiation-tests.sh (100%) rename prism/examples/{pta/simple.sh => des/simple-auto.sh} (100%) rename prism/examples/{pta => des}/simple/formats.des (100%) rename prism/examples/{pta => des}/simple/formats.v1.des (100%) rename prism/examples/{pta => des}/simple/formats.v2.des (100%) rename prism/examples/{pta => des}/simple/gethin1.des (100%) rename prism/examples/{pta => des}/simple/gethin2.des (100%) rename prism/examples/{pta => des}/simple/iandc.des (100%) rename prism/examples/{pta => des}/simple/tcs.des (100%) rename prism/examples/{pta => des}/zeroconf-auto.sh (100%) rename prism/examples/{pta => des}/zeroconf-tests.sh (100%) delete mode 100644 prism/examples/pta/simple-prism.sh diff --git a/prism/examples/pta/csma-auto.sh b/prism/examples/des/csma-auto.sh similarity index 100% rename from prism/examples/pta/csma-auto.sh rename to prism/examples/des/csma-auto.sh diff --git a/prism/examples/pta/csma-tests.sh b/prism/examples/des/csma-tests.sh similarity index 100% rename from prism/examples/pta/csma-tests.sh rename to prism/examples/des/csma-tests.sh diff --git a/prism/examples/pta/firewire-auto.sh b/prism/examples/des/firewire-auto.sh similarity index 100% rename from prism/examples/pta/firewire-auto.sh rename to prism/examples/des/firewire-auto.sh diff --git a/prism/examples/pta/firewire-tests.sh b/prism/examples/des/firewire-tests.sh similarity index 100% rename from prism/examples/pta/firewire-tests.sh rename to prism/examples/des/firewire-tests.sh diff --git a/prism/examples/pta/repudiation-auto.sh b/prism/examples/des/repudiation-auto.sh similarity index 100% rename from prism/examples/pta/repudiation-auto.sh rename to prism/examples/des/repudiation-auto.sh diff --git a/prism/examples/pta/repudiation-tests.sh b/prism/examples/des/repudiation-tests.sh similarity index 100% rename from prism/examples/pta/repudiation-tests.sh rename to prism/examples/des/repudiation-tests.sh diff --git a/prism/examples/pta/simple.sh b/prism/examples/des/simple-auto.sh similarity index 100% rename from prism/examples/pta/simple.sh rename to prism/examples/des/simple-auto.sh diff --git a/prism/examples/pta/simple/formats.des b/prism/examples/des/simple/formats.des similarity index 100% rename from prism/examples/pta/simple/formats.des rename to prism/examples/des/simple/formats.des diff --git a/prism/examples/pta/simple/formats.v1.des b/prism/examples/des/simple/formats.v1.des similarity index 100% rename from prism/examples/pta/simple/formats.v1.des rename to prism/examples/des/simple/formats.v1.des diff --git a/prism/examples/pta/simple/formats.v2.des b/prism/examples/des/simple/formats.v2.des similarity index 100% rename from prism/examples/pta/simple/formats.v2.des rename to prism/examples/des/simple/formats.v2.des diff --git a/prism/examples/pta/simple/gethin1.des b/prism/examples/des/simple/gethin1.des similarity index 100% rename from prism/examples/pta/simple/gethin1.des rename to prism/examples/des/simple/gethin1.des diff --git a/prism/examples/pta/simple/gethin2.des b/prism/examples/des/simple/gethin2.des similarity index 100% rename from prism/examples/pta/simple/gethin2.des rename to prism/examples/des/simple/gethin2.des diff --git a/prism/examples/pta/simple/iandc.des b/prism/examples/des/simple/iandc.des similarity index 100% rename from prism/examples/pta/simple/iandc.des rename to prism/examples/des/simple/iandc.des diff --git a/prism/examples/pta/simple/tcs.des b/prism/examples/des/simple/tcs.des similarity index 100% rename from prism/examples/pta/simple/tcs.des rename to prism/examples/des/simple/tcs.des diff --git a/prism/examples/pta/zeroconf-auto.sh b/prism/examples/des/zeroconf-auto.sh similarity index 100% rename from prism/examples/pta/zeroconf-auto.sh rename to prism/examples/des/zeroconf-auto.sh diff --git a/prism/examples/pta/zeroconf-tests.sh b/prism/examples/des/zeroconf-tests.sh similarity index 100% rename from prism/examples/pta/zeroconf-tests.sh rename to prism/examples/des/zeroconf-tests.sh diff --git a/prism/examples/pta/simple-prism.sh b/prism/examples/pta/simple-prism.sh deleted file mode 100644 index 1b5dbf09..00000000 --- a/prism/examples/pta/simple-prism.sh +++ /dev/null @@ -1,12 +0,0 @@ - -#../../bin/ptamc simple/iandc.des sr 'z<6' - -#../../bin/ptamc simple/tcs.des l3 true - -#../../bin/ptamc simple/gethin1.des l2 true - -#../../bin/ptamc simple/gethin2.des l2 true - -prism-explicit simple/formats.nm -pctl 'Pmax=? [ F s=3 ]' -aroptions refine=first,v -prism-explicit simple/formats.nm -pctl 'Rmin=? [ F s=1|s=3 ]' -