forgot to add property file

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@850 bbc10eb1-c90d-0410-af57-cb519fbb1720
17 years ago · 15631cd5aa
1 changed files with 4 additions and 0 deletions
--- a/prism-examples/firewire/impl/expected.pctl
+++ b/prism-examples/firewire/impl/expected.pctl
@ -0,0 +1,4 @@
 // maximum expected time
 R{"time"}max=?[F ((s1=8) & (s2=7)) | ((s1=7) & (s2=8)) ]
 // maximum expected rounds
 R{"time_sending"}max=?[F ((s1=8) & (s2=7)) | ((s1=7) & (s2=8)) ]