env.lut 266 Bytes
Newer Older
1
2
3
4
5

let abs(x : real) : real = 
    if x > 0.0 then x else -x


Erwan Jahier's avatar
nop    
Erwan Jahier committed
6
node main(T : real = 10.0; Heat_on : bool) returns ( 
7
--	T1 : real;
Erwan Jahier's avatar
nop    
Erwan Jahier committed
8
9
	T2 : real = 10.0; 
	T3 : real = 10.0) =
10
11
12
13
14
15

-- assert abs(T-T1) < 0.5 in
assert abs(T-T2) < 0.5 in
assert abs(T-T3) < 0.5 in

   loop true