lustrec-tests/regression_tests/lustre_files/success/machine_types/simple/ex1.lus @ 8af9a0b9
| 1 |
node ex2(x: int) returns (y: int) |
|---|---|
| 2 |
let
|
| 3 |
--! machine_types: (y, "uint8");
|
| 4 |
y = x; |
| 5 |
tel
|
| 6 |
|
| 7 |
node ex1(x: int) returns (y: int); |
| 8 |
let
|
| 9 |
--! machine_types: (y, "uint8");
|
| 10 |
y = 3 + ex2(x); |
| 11 |
tel
|
| 12 |
|
| 13 |
node top (x: int) returns (y: int) |
| 14 |
var l1: int; |
| 15 |
let
|
| 16 |
--! machine_types: (l1, "uint16");
|
| 17 |
--! machine_types: (l1, "int16");
|
| 18 |
l1 = x; |
| 19 |
y = l1; |
| 20 |
tel
|