Project

General

Profile

« Previous | Next » 

Revision 3e36d4e0

Added by Pierre-Loïc Garoche almost 8 years ago

Added default ensures statements

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