Move mec-tests into prism dir.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7204 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 8a15118de2
6 changed files with 0 additions and 71 deletions
--- a/prism-examples/mec-tests/1.pm
+++ b/prism-examples/mec-tests/1.pm
@ -1,9 +0,0 @@
-mdp
-
-module mec_tests
-
-	s : [0..1] init 0;
-	
-	[] s=0 -> 1.0 : (s'=0) ;
-	
-endmodule
--- a/prism-examples/mec-tests/2.pm
+++ b/prism-examples/mec-tests/2.pm
@ -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
--- a/prism-examples/mec-tests/3.pm
+++ b/prism-examples/mec-tests/3.pm
@ -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
--- a/prism-examples/mec-tests/4.pm
+++ b/prism-examples/mec-tests/4.pm
@ -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
--- a/prism-examples/mec-tests/5.pm
+++ b/prism-examples/mec-tests/5.pm
@ -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
--- a/prism-examples/mec-tests/6.pm
+++ b/prism-examples/mec-tests/6.pm
@ -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