lustrec-tests / regression_tests / lustre_files / success / kind_fmcad08 / memory2 / ILLINOIS_3_e3_2581_e7_3447.lusi @ 2d37a1e1
History | View | Annotate | Download (778 Bytes)
| 1 | b8dc00eb | bourbouh | (* Generated Lustre Interface file from ILLINOIS_3_e3_2581_e7_3447.lus *) |
|---|---|---|---|
| 2 | (* generated by Lustre-C compiler version 284, 2014/5/25, 15:2:4 *) |
||
| 3 | (* feel free to mask some of the nodes by removing them from this file. *) |
||
| 4 | |||
| 5 | node illinois (e1: bool; e2: bool; e3: bool; e4: bool; e5: bool; e6: bool; e7: bool; e8: bool; e9: bool; init_invalid: int) returns (invalid: int; dirty: int; exclusive: int; shared: int); |
||
| 6 | |||
| 7 | |||
| 8 | function excludes9 (X1: bool; X2: bool; X3: bool; X4: bool; X5: bool; X6: bool; X7: bool; X8: bool; X9: bool) returns (excludes: bool); |
||
| 9 | |||
| 10 | |||
| 11 | node Sofar (X: bool) returns (Sofar: bool); |
||
| 12 | |||
| 13 | |||
| 14 | node First (X: int) returns (First: int); |
||
| 15 | |||
| 16 | |||
| 17 | node top (e1: bool; e2: bool; e3: bool; e4: bool; e5: bool; e6: bool; e7: bool; e8: bool; e9: bool; init_invalid: int) returns (OK: bool); |
||
| 18 |