Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / mpfr / dss_test.lusi @ b745c1a8

History | View | Annotate | Download (539 Bytes)

1 4d5a2e6e bourbouh
(* Generated Lustre Interface file from dss_test.lus *)
2
(* by Lustre-C compiler version 1.3-458, 2016/10/25, 13:38:51 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4
5
node dss_test (In1_1_1: real; In2_1_1: real; In3_1_1: real; In4_1_1: real; In4_1_2: real; In5_1_1: real; In5_1_2: real; In6_1_1: real; In6_1_2: real; In7_1_1: real) returns (Out1_1_1: real; Out2_2_1: real; Out3_3_1: real; Out4_4_1: real; Out4_4_2: real; Out5_5_1: real; Out5_5_2: real; Out6_6_1: real; Out6_6_2: real; Out7_7_1: real);