Add timer guards testcase

2007-04-20 17:54:07 +00:00 · 2007-04-20 17:54:07 +00:00 · e7be8814ad
commit e7be8814ad
parent a49b884d48
1 changed files with 16 additions and 0 deletions
--- a/fco2/testcases/timer-guards.occ
+++ 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
+: