Project

General

Profile

« Previous | Next » 

Revision f20dc4db

Added by Pierre-Loïc Garoche over 7 years ago

mini automata

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