forgot to add property file

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@849 bbc10eb1-c90d-0410-af57-cb519fbb1720
17 years ago · aac33500af
1 changed files with 4 additions and 0 deletions
--- a/prism-examples/firewire/abst/expected.pctl
+++ b/prism-examples/firewire/abst/expected.pctl
@ -0,0 +1,4 @@
+// maximum expected time
+R{"time"}max=?[F (s=9) ]
+// maximum expected rounds
+R{"rounds"}max=?[F (s=9) ]