Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / optim / clocks7 / clocks7.lusi @ 6a93d814

History | View | Annotate | Download (244 Bytes)

1 6a93d814 xthirioux
(* Generated Lustre Interface file from clocks7.lus *)
2
(* generated by Lustre-C compiler version 317, 2014/6/11, 12:32:28 *)
3
(* feel free to mask some of the nodes by removing them from this file. *)
4
5
function toto (x: int) returns (y: int);
6