1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
def predicate.to_list(n, p) =
list.init(n, fun (_) -> p())
end
def predicate.nth(n) =
i = ref(-1)
fun () ->
begin
ref.incr(i)
i() == n
end
end
def predicate.from(n) =
i = ref(-1)
fun () ->
begin
ref.incr(i)
i() >= n
end
end
def tl(p, l) =
test.equal(predicate.to_list(4, p), l)
end
def f() =
tl(predicate.nth(2), [false, false, true, false])
tl(predicate.from(2), [false, false, true, true])
tl(predicate.activates(predicate.from(2)), [false, false, true, false])
tl(predicate.changes(predicate.nth(2)), [false, true, true, false])
tl(predicate.once(predicate.from(2)), [false, false, true, false])
p = predicate.signal()
test.equal(p(), false)
p.signal()
test.equal(p(), true)
test.equal(p(), false)
test.pass()
end
test.check(f)
|
