| lus2ec - lustre expansion |
lus2ec - lustre expansion
lus2ec file.lus node [ options ]
Lustre to expanded-code compiler: it requires a Lustre-V4 input file and a main node name. It produces a file node.ec. This file contains the code of the main node where node calls are inlined (recursively replaced by their definitions) and where structured variables (arrays, tuples) are expanded into sets of atomic variables (bool, int, real or external type).
define the name of the output file.
output the result on stdout
| lus2ec - lustre expansion |