Project

General

Profile

Revision f20dc4db tests/automata/heater4.lus

View differences:

tests/automata/heater4.lus
1

  
1
(*@ ensures open_light; *)
2 2
node command(millisecond : bool) returns (open_light : bool)
3 3
let
4 4
  automaton command_control

Also available in: Unified diff