Project

General

Profile

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

View differences:

test/src/kind_fmcad08/large/steam_boiler_no_arr2.lus
751 751
tel
752 752

  
753 753

  
754
--@ ensures OK;
754 755
node top(
755 756
  steam_boiler_waiting,physical_units_ready,stop_request:bool; 
756 757
  steam,level_defect,steam_defect:int; 

Also available in: Unified diff