lustrec-tests/regression_tests/lustre_files/success/Simulink/src_flattening_4_test/flattening_4_test.lus @ cc6eda98
| 1 |
-- This file has been generated by cocoSim
|
|---|---|
| 2 |
|
| 3 |
|
| 4 |
-- System nodes
|
| 5 |
node flattening_4_test (In1_1_1 : real) |
| 6 |
returns (Out1_1_1 : real); |
| 7 |
var
|
| 8 |
i_virtual_local : real; |
| 9 |
let
|
| 10 |
Out1_1_1 = In1_1_1; |
| 11 |
i_virtual_local= 0.0 -> 1.0; |
| 12 |
tel
|
| 13 |
|