Project

General

Profile

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

lustrec-tests/regression_tests/lustre_files/success/mpfr/math_vect_2_test.lusi @ 72e9ca2d

1 
(* Generated Lustre Interface file from math_vect_2_test.lus *)
2 
(* by Lustre-C compiler version 1.3-458, 2016/10/25, 13:38:50 *)
3 
(* Feel free to mask some of the definitions by removing them from this file. *)
4 

    		
  

  

    
      5
    
    
      
#open <lustrec_math>


    		
  

  

    
      6
    
    
      

    		
  

  

    
      7
    
    
      
node math_vect_2_test (In6_1_1: real; In6_1_2: real; In6_1_3: real; In7_1_1: real; In7_1_2: real; In7_1_3: real; In8_1_1: real; In8_1_2: real; In8_1_3: real; In9_1_1: real; In9_1_2: real; In9_1_3: real; In11_1_1: real; In11_1_2: real; In11_1_3: real; In1_1_1: real; In1_1_2: real; In1_1_3: real; In2_1_1: real; In3_1_1: real; In4_1_1: real; In4_1_2: real; In4_1_3: real) returns (Out6_1_1: real; Out6_1_2: real; Out6_1_3: real; Out7_2_1: real; Out7_2_2: real; Out7_2_3: real; Out8_3_1: real; Out8_3_2: real; Out8_3_3: real; Out10_4_1: real; Out10_4_2: real; Out10_4_3: real; Out1_5_1: real; Out1_5_2: real; Out1_5_3: real; Out2_6_1: real; Out2_6_2: real; Out2_6_3: real);


    		
  

  

    
      8
    
    
      

    		
  









  (15-15/17)