From aac33500afa5d0e84655529505f993401c3100d9 Mon Sep 17 00:00:00 2001
From: Gethin Norman <gethin.norman@glasgow.ac.uk>
Date: Fri, 5 Dec 2008 12:06:50 +0000
Subject: [PATCH] forgot to add property file

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@849 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism-examples/firewire/abst/expected.pctl | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 prism-examples/firewire/abst/expected.pctl

diff --git a/prism-examples/firewire/abst/expected.pctl b/prism-examples/firewire/abst/expected.pctl
new file mode 100644
index 00000000..de3d9006
--- /dev/null
+++ 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) ]