Project

General

Profile

« Previous | Next » 

Revision dd2eeba6

Added by Bourbouh almost 3 years ago

add another contract example

View differences:

tests/lusic/test2.lusi
1
(* Generated Lustre Interface file from test2.lusi *)
2
(* by Lustre-C compiler version 323, 2014/6/23, 18:25:31 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

  
5
type toto = enum {Up, Down }; 
6

  
7
const titi = [1,2];
8

  
1
(* Generated Lustre Interface file from test2.lus *)
2
(* by Lustre-C compiler version 1.5-     837-master, 2018/9/28, 06:01:24 *)
3
(* Feel free to mask some of the definitions by removing them from this file. *)
4

  
5
type toto = enum {Up, Down };
6

  
7
const titi = [1,2];
8

  
9

  

Also available in: Unified diff