From e7be8814ad48e3d1c5110a6995baf884e922ce86 Mon Sep 17 00:00:00 2001
From: Adam Sampson <ats@offog.org>
Date: Fri, 20 Apr 2007 17:54:07 +0000
Subject: [PATCH] Add timer guards testcase

---
 fco2/testcases/timer-guards.occ | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 fco2/testcases/timer-guards.occ

diff --git a/fco2/testcases/timer-guards.occ b/fco2/testcases/timer-guards.occ
new file mode 100644
index 0000000..9361d40
--- /dev/null
+++ b/fco2/testcases/timer-guards.occ
@@ -0,0 +1,16 @@
+PROC P ()
+  CHAN OF INT c, d:
+  TIMER tim:
+  INT t, x:
+  SEQ
+    tim ? t
+    ALT
+      c ? x
+        SKIP
+      d ? x
+        SKIP
+      tim ? AFTER t PLUS 100000
+        SKIP
+      tim ? AFTER t PLUS 200000
+        SKIP
+: