Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / regression_tests / lustre_files / success / lusic / test1.lus @ 4f76e5f5

History | View | Annotate | Download (276 Bytes)

1
#open "test2"
2

    
3
type prod = struct { a : int; b : toto clock; };
4

    
5
type sum = enum { One, Two, Three };
6

    
7
node bool2float (x:bool) returns (y:real)
8
let
9
  y = if x then 0. else 1.;
10
tel
11

    
12
node as_soon_as (x:bool) returns (y:bool)
13
let
14
  y = x || (false -> pre y);
15
tel