From a7e3f4a973f56b60cdf7a1c7aff973ae85e609f9 Mon Sep 17 00:00:00 2001 From: Adrien Guatto Date: Wed, 25 Jan 2012 18:13:43 +0100 Subject: [PATCH] Added test for clocking in automata --- compiler/heptagon/main/hept_compiler.ml | 2 +- test/good/grosauto_clock.ept | 9 +++++++++ 2 files changed, 10 insertions(+), 1 deletion(-) create mode 100644 test/good/grosauto_clock.ept diff --git a/compiler/heptagon/main/hept_compiler.ml b/compiler/heptagon/main/hept_compiler.ml index 190c454..a1abe25 100644 --- 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 diff --git a/test/good/grosauto_clock.ept b/test/good/grosauto_clock.ept new file mode 100644 index 0000000..21aad75 --- /dev/null +++ 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