blob: 2c5499834ae600137298b3bb44f0f17ffeaf8269 (
plain)
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
(fate_version 1)
(global string test_name)
(set! test_name ( COUNT ))
(assert! (= (count 10 (range 0 60 1)) 1)
[FAILED] (var test_name) Failed to find 10 in range 0 60 1.
)
(global (list int) li)
(add_all! (range 0 10 1) li)
(add_all! (range 0 10 1) li)
(add_all! (range 0 10 1) li)
(add_all! (range 0 10 1) li)
(assert! (= (count 10 li) 4)
[FAILED] (var test_name) Failed to find 10 four times in li.
)
(global (set int) si)
(add_all! (range 0 10 1) si)
(add_all! (range 0 10 1) si)
(add_all! (range 0 10 1) si)
(add_all! (range 0 10 1) si)
(assert! (= (count 10 si) 1)
[FAILED] (var test_name) Failed to find 10 exactly once in si.
)
(global (list string) ls)
(add! test0 ls)
(add! test1 ls)
(add! test2 ls)
(add! test3 ls)
(assert! (= (count test0 ls) 1)
[FAILED] (var test_name) Failed to find test0 exactly once in ls.
)
(add! test0 ls)
(add! test1 ls)
(add! test2 ls)
(add! test3 ls)
(add! test0 ls)
(add! test1 ls)
(add! test2 ls)
(add! test3 ls)
(add! test0 ls)
(add! test1 ls)
(add! test2 ls)
(add! test3 ls)
(assert! (= (count test0 ls) 4)
[FAILED] (var test_name) Failed to find test0 four times in ls.
)
(global (list bool) lb)
(local int i)
(for (set! i 0) (=< i 10) (set! i (+ i 1))
(add! (= (mod i 2) 0) lb)
)
(assert! (= (count (true) lb) 6)
[FAILED] (var test_name) Failed to find six even numbers.
)
(assert! (= (count (false) lb) 5)
[FAILED] (var test_name) Failed to find four odd numbers.
)
[COMPLETED] (var test_name)
(end!)
|
