Added test for clocking in automata

13 years ago · a7e3f4a973
parent 53de6cd915
commit a7e3f4a973
2 changed files with 10 additions and 1 deletions
--- a/compiler/heptagon/main/hept_compiler.ml
+++ b/compiler/heptagon/main/hept_compiler.ml
@ -46,7 +46,7 @@ let compile_program p =
  let p = pass "Reset" true Reset.program p pp in

  (* Remove switch statements *)
-  let p = pass "switch" true Switch.program p pp in
+  let p = pass "Switch" true Switch.program p pp in

  (* Every *)
  let p = pass "Every" true Every.program p pp in
--- a/test/good/grosauto_clock.ept
+++ b/test/good/grosauto_clock.ept
@ -0,0 +1,9 @@
+node main() returns (o: int)
+let
+  automaton
+    state State1
+      var c : bool;
+      do o = merge c (1 fby (o when c)) 27;
+         c = false;
+  end
+tel