From 8a15118de2aec220b221a1bb5146c4fa37e69054 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 31 Jul 2013 07:07:39 +0000 Subject: [PATCH] Move mec-tests into prism dir. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7204 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/mec-tests/1.pm | 9 --------- prism-examples/mec-tests/2.pm | 11 ----------- prism-examples/mec-tests/3.pm | 12 ------------ prism-examples/mec-tests/4.pm | 13 ------------- prism-examples/mec-tests/5.pm | 13 ------------- prism-examples/mec-tests/6.pm | 13 ------------- 6 files changed, 71 deletions(-) delete mode 100644 prism-examples/mec-tests/1.pm delete mode 100644 prism-examples/mec-tests/2.pm delete mode 100644 prism-examples/mec-tests/3.pm delete mode 100644 prism-examples/mec-tests/4.pm delete mode 100644 prism-examples/mec-tests/5.pm delete mode 100644 prism-examples/mec-tests/6.pm diff --git a/prism-examples/mec-tests/1.pm b/prism-examples/mec-tests/1.pm deleted file mode 100644 index 55c1b431..00000000 --- a/prism-examples/mec-tests/1.pm +++ /dev/null @@ -1,9 +0,0 @@ -mdp - -module mec_tests - - s : [0..1] init 0; - - [] s=0 -> 1.0 : (s'=0) ; - -endmodule diff --git a/prism-examples/mec-tests/2.pm b/prism-examples/mec-tests/2.pm deleted file mode 100644 index cc273835..00000000 --- a/prism-examples/mec-tests/2.pm +++ /dev/null @@ -1,11 +0,0 @@ -mdp - -module mec_tests - - s : [0..1] init 0; - - [] s=0 -> 1.0 : (s'=1) ; - [] s=1 -> 1.0 : (s'=0) ; - - -endmodule diff --git a/prism-examples/mec-tests/3.pm b/prism-examples/mec-tests/3.pm deleted file mode 100644 index bebf016b..00000000 --- a/prism-examples/mec-tests/3.pm +++ /dev/null @@ -1,12 +0,0 @@ -mdp - -module mec_tests - - s : [0..2] init 0; - - [] s=0 -> 1.0 : (s'=1); - [] s=1 -> 1.0 : (s'=0); - [] s=0 -> 1.0 : (s'=2); - [] s=2 -> 1.0 : (s'=2); - -endmodule diff --git a/prism-examples/mec-tests/4.pm b/prism-examples/mec-tests/4.pm deleted file mode 100644 index 101f840e..00000000 --- a/prism-examples/mec-tests/4.pm +++ /dev/null @@ -1,13 +0,0 @@ -mdp - -module mec_tests - - s : [0..2] init 0; - - [] s=0 -> 1.0 : (s'=1); - [] s=1 -> 1.0 : (s'=0); - [] s=0 -> 1.0 : (s'=2); - [] s=2 -> 1.0 : (s'=2); - [] s=2 -> 1.0 : (s'=1); - -endmodule diff --git a/prism-examples/mec-tests/5.pm b/prism-examples/mec-tests/5.pm deleted file mode 100644 index 851a1801..00000000 --- a/prism-examples/mec-tests/5.pm +++ /dev/null @@ -1,13 +0,0 @@ -mdp - -module mec_tests - - s : [0..3] init 0; - - [] s=0 -> 1.0 : (s'=1); - [] s=1 -> 1.0 : (s'=0); - [] s=0 -> 1.0 : (s'=2); - [] s=2 -> 1.0 : (s'=3); - [] s=3 -> 1.0 : (s'=2); - -endmodule diff --git a/prism-examples/mec-tests/6.pm b/prism-examples/mec-tests/6.pm deleted file mode 100644 index c3dd9537..00000000 --- a/prism-examples/mec-tests/6.pm +++ /dev/null @@ -1,13 +0,0 @@ -mdp - -module mec_tests - - s : [0..3] init 0; - - [] s=0 -> 1.0 : (s'=1); - [] s=1 -> 1.0 : (s'=0); - [] s=1 -> 1.0 : (s'=2); - [] s=2 -> 0.5 : (s'=3) + 0.5 : (s'=0); - [] s=3 -> 1.0 : (s'=3); - -endmodule