Project

General

Profile

Revision 65f71d05 test/src/kind_fmcad08/large/cruise_controller_12.lus

View differences:

test/src/kind_fmcad08/large/cruise_controller_12.lus
1 1 

  		




  2
  2
  
    

  		




  
  3
  
    
--@ ensures OK;


  		




  3
  4
  
    
node top(onOff: bool; 


  		




  4
  5
  
    
      decelSet: bool; 


  		




  5
  6
  
    
      accelResume: bool; 


  		












Also available in:  Unified diff