heptagon/test/good/t.ept

node count() returns (o : int)
let
  o = 0 fby 1;
tel

node main() returns (c : int)
let
  automaton
    state One
      do c = count ()
      until count() = 5 then Two
    state Two
      do c = count ()
      until count() = 3 then One
  end
tel
Real asynchronous resets. 2011-05-23 09:24:57 +02:00			`node count() returns (o : int)`
			`let`
			`o = 0 fby 1;`
			`tel`

			`node main() returns (c : int)`
			`let`
			`automaton`
			`state One`
some more tests 2011-05-23 14:04:11 +02:00			`do c = count ()`
Real asynchronous resets. 2011-05-23 09:24:57 +02:00			`until count() = 5 then Two`
			`state Two`
			`do c = count ()`
			`until count() = 3 then One`
			`end`
			`tel`