Test commit

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4554 bbc10eb1-c90d-0410-af57-cb519fbb1720
14 years ago · ee833dff89
1 changed files with 0 additions and 11 deletions
--- a/prism/test.txt
+++ b/prism/test.txt
@ -1,11 +0,0 @@
-P=? [ F d=x+x2 ]:
-	0	1
-0	1.0	0.16666650772094727
-1	0.16666650772094727	0.16666650772094727
-
-
-P=? [ F d=x+x2+min(0,1) ]:
-	0	1
-0	1.0	0.16666650772094727
-1	0.16666650772094727	0.16666650772094727
-