Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / Simulink / src_many_files / Sum7_PP.LUSTREC.lus @ cd1faebc

History | View | Annotate | Download (473 Bytes)

1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 23:06:07
5
#open <conv>
6
(*
7
Original block name: Sum7_PP
8
*)
9
node  Sum7_PP(In5_1 : real;
10
	In6_1 : int;)
11
returns(Out5_1 : real;);
12
var Add4_1 : real;
13
	__time_step : real;
14
	__nb_step : int;
15
let
16
	Add4_1 = 0.0 + In5_1 + int_to_real(In6_1);
17
	Out5_1 = Add4_1;
18
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
19
	__nb_step = (0 -> ((pre __nb_step) + 1));
20
tel
21