lustrec-tests / tests / linear_ctl / chain5_6.lusi @ 79ef5fc5
History | View | Annotate | Download (370 Bytes)
| 1 | 604d5b37 | ploc | (* Generated Lustre Interface file from chain5_6.lus *) |
|---|---|---|---|
| 2 | (* generated by Lustre-C compiler version 284, 2014/5/25, 15:2:30 *) |
||
| 3 | (* feel free to mask some of the nodes by removing them from this file. *) |
||
| 4 | |||
| 5 | node top (in5_0: real; in5_1: real) returns (x5_0: real; x5_1: real; x5_2: real; x5_3: real; in6_0: real; x6_0: real; x6_1: real; x6_2: real; x6_3: real; x6_4: real); |
||
| 6 |