jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

remove unwanted file tt.ept

Browse source
This commit is contained in:
Léonard Gérard 2011-12-12 10:56:47 +01:00
parent 80fbe6be5f
commit 340d6efd26
1 changed files with 0 additions and 17 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
test/tt.ept
View file

@ -1,17 +0,0 @@
node f(a : int) = (o : int)
var x : int; c : bool;
let
c = true fby false fby c;
x = 0 fby ((merge c a (x whenot c)) + 1);
o = x when c
tel
node g(a : int) = (o : int)
var x1, x2:int; c1, c2: bool;
let
c1 = true fby false fby c1;
c2 = true fby false fby c2;
x1 = 0 fby ((merge c1 a (x1 whenot c1)) + 1);
x2 = 0 fby ((merge c2 x1 (x2 whenot c2)) + 1);
o = x2 when c2 when c1;
tel