Project

General

Profile

Download (212 Bytes) Statistics
| Branch: | Tag: | Revision:
1

    
2
node toto (x:int; d:bool clock) returns (y:int)
3
let
4
  y = x when d;
5
tel
6

    
7
node clocks9(i:int) returns (o:int)
8
var c,d : bool clock;
9
 l : int;
10
let
11
  c = i=1 when d;
12
  d = i=0;
13
  l = toto(i,d) when c;
14
  o = 1;
15
tel
(22-22/25)