blob: 47ad63236f8c571ccd1317dd3a29cb094d883524 (
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
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
|
(fate_version 1)
(global int i)
(global int test_val)
(global int test_val2)
(set test_val 0)
(set test_val2 0)
(for (set i 0) (< (var i) 10) (set i (+ (var i) 1))
(set test_val (+ (var test_val) 1))
(set test_val2 (+ (var test_val2) 1))
)
(assert (= (var test_val) 10) FAILED: for loop A)
(assert (= (var test_val2) 10) FAILED: for loop B)
(assert (= (var i) 10) FAILED: for loop C)
(set i 0)
(set test_val 0)
(set test_val2 0)
(while (< (var i) 10)
(set test_val (+ (var test_val) 1))
(set test_val2 (+ (var test_val2) 1))
(set i (+ (var i) 1))
)
(assert (= (var test_val) 10) FAILED: while loop A)
(assert (= (var test_val2) 10) FAILED: while loop B)
(assert (= (var i) 10) FAILED: while loop C)
(set i 0)
(set test_val 0)
(set test_val2 0)
(do_while (< (var i) 10)
(set test_val (+ (var test_val) 1))
(set test_val2 (+ (var test_val2) 1))
(set i (+ (var i) 1))
)
(assert (= (var test_val) 10) FAILED: do while loop A)
(assert (= (var test_val2) 10) FAILED: do while loop B)
(assert (= (var i) 10) FAILED: do while loop C)
(set i 0)
(set test_val 0)
(set test_val2 0)
(do_while (false)
(set test_val (+ (var test_val) 1))
(set test_val2 (+ (var test_val2) 1))
(set i (+ (var i) 1))
)
(assert (= (var test_val) 1) FAILED: do while loop D)
(assert (= (var test_val2) 1) FAILED: do while loop E)
(assert (= (var i) 1) FAILED: do while loop F)
(global (list int) int_list_a)
(global (list int) int_list_b)
(for (set i 0) (< (var i) 10) (set i (+ (var i) 1))
(add_element 1 int_list_a)
(add_element 1 int_list_b)
)
(set test_val 0)
(set test_val2 0)
(foreach int_list_a a
(set test_val (+ (var test_val) (var a)))
(set test_val2 (+ (var test_val2) (var a)))
)
(assert (= (var test_val) 10) FAILED: for each loop A)
(assert (= (var test_val2) 10) FAILED: for each loop B)
(set test_val 0)
(set test_val2 0)
(for (set i 0) (< (var i) 10) (set i (+ (var i) 1))
(set test_val (+ (var test_val) 1))
(break)
(set test_val2 (+ (var test_val2) 1))
)
(assert (= (var test_val) 1) FAILED: break loop A)
(assert (= (var test_val2) 0) FAILED: for each loop B)
(set i 0)
(set test_val 0)
(set test_val2 0)
(while (< (var i) 10)
(set test_val (+ (var test_val) 1))
(break)
(set test_val2 (+ (var test_val2) 1))
(set i (+ (var i) 1))
)
(assert (= (var test_val) 1) FAILED: break while loop A)
(assert (= (var test_val2) 0) FAILED: break while loop B)
(assert (= (var i) 0) FAILED: break while loop C)
(set i 0)
(set test_val 0)
(set test_val2 0)
(do_while (< (var i) 10)
(set test_val (+ (var test_val) 1))
(break)
(set test_val2 (+ (var test_val2) 1))
(set i (+ (var i) 1))
)
(assert (= (var test_val) 1) FAILED: break do while loop A)
(assert (= (var test_val2) 0) FAILED: break do while loop B)
(assert (= (var i) 0) FAILED: break do while loop C)
(set test_val 0)
(foreach int_list_a a
(set test_val (+ (var test_val) (var a)))
(break)
(set test_val2 (+ (var test_val2) (var a)))
)
(assert (= (var test_val) 1) FAILED: break foreach loop A)
(assert (= (var test_val2) 0) FAILED: break foreach loop B)
(clear int_list_b)
(foreach int_list_a a
(add_element (var a) int_list_b)
(for (set i 0) (< (var i) 1) (set i (+ (var i) 1))
(add_element (var i) int_list_b)
)
(do_while (< (var i) 10)
(break)
)
)
(assert (= (size int_list_b) (* 2 (size int_list_a))) FAILED: inner break)
(end)
|
