blob: 3eca4143105c81d0dde2058b078b36fbb9cbf327 (
plain)
1
2
3
4
5
6
7
8
9
10
|
def f (x) and y = (x + y) + 1
def g (x) and y = (x + (y+1))
test Test:
guard (1 == 1)
guard (f 1 and 2 == 4)
guard (f 1 and 2 == g 1 and 2)
guard (f 1 and (g 2 and 3) == g 1 and 2 + 4)
guard (f (10 + g and 1 1) and (g 2 and 3) == g 1 and 2 + 10 +6)
|