Project

General

Profile

« Previous | Next » 

Revision dd2eeba6

Added by Bourbouh over 4 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