Project

General

Profile

Download (961 Bytes) Statistics
| Branch: | Tag: | Revision:

lustrec-tests/regression_tests/lustre_files/success/Simulink/src_sum_collapse_bool_test/sum_collapse_bool_test.lusi @ cc6eda98

1 
(* Generated Lustre Interface file from sum_collapse_bool_test.lus *)
2 
(* by Lustre-C compiler version 1.3-458, 2016/10/29, 22:54:47 *)
3 
(* Feel free to mask some of the definitions by removing them from this file. *)
4 

    		
  

  

    
      5
    
    
      
node sum_collapse_bool_test (In17_1_1: int; In18_1_1: int; In19_1_1: int; In19_1_2: int; In19_1_3: int; In20_1_1: int; In20_1_2: int; In20_1_3: int; In21_1_1: int; In21_1_2: int; In21_1_3: int; In21_1_4: int; In21_1_5: int; In21_1_6: int; In22_1_1: int; In22_1_2: int; In22_1_3: int; In22_1_4: int; In22_1_5: int; In22_1_6: int; In23_1_1: int; In23_1_2: int; In23_1_3: int; In23_1_4: int; In23_1_5: int; In23_1_6: int; In24_1_1: int; In24_1_2: int; In24_1_3: int; In24_1_4: int; In24_1_5: int; In24_1_6: int) returns (Out17_1_1: int; Out18_2_1: int; Out19_3_1: int; Out20_4_1: int; Out21_5_1: int; Out21_5_2: int; Out21_5_3: int; Out22_6_1: int; Out22_6_2: int; Out22_6_3: int; Out23_7_1: int; Out23_7_2: int; Out24_8_1: int; Out24_8_2: int);


    		
  

  

    
      6
    
    
      

    		
  









  (2-2/4)