summaryrefslogtreecommitdiff
path: root/tests/examples/ex5.ys
blob: e8138611f014b8b89162a1d015d831f915989346 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

(define-type pc (scalar sleeping trying critical))
(define f::(-> pc pc))
(define g::(-> pc pc))
(define x1::pc)
(define x2::pc)
(define x3::pc)
(define x4::pc)
(define x5::pc)
(define x6::pc)



(assert (/= (g (f x1)) (g (f x2))))
(assert (= x1 x3))
(assert (= x1 x4))
(assert (= x3 x2))