blob: be3c3fa1e9ea1420dc627660e8e5bfb6667162e4 (
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
|
(fate_version 1)
(global string test_name)
(set! test_name ( ACCESS CONSTANT INDEX ))
(global (list int) li)
(global (ptr (list int)) li_ptr)
(set! li (range 0 10 1))
(set! li_ptr (ptr li))
(assert! (= (var li.0) 0) [FAILED] (var test_name) li.0)
(assert! (= (var li.1) 1) [FAILED] (var test_name) li.1)
(assert! (= (var li.2) 2) [FAILED] (var test_name) li.2)
(assert! (= (var li.3) 3) [FAILED] (var test_name) li.3)
(assert! (= (var li.4) 4) [FAILED] (var test_name) li.4)
(assert! (= (var li.5) 5) [FAILED] (var test_name) li.5)
(assert! (= (var li.6) 6) [FAILED] (var test_name) li.6)
(assert! (= (var li.7) 7) [FAILED] (var test_name) li.7)
(assert! (= (var li.8) 8) [FAILED] (var test_name) li.8)
(assert! (= (var li.9) 9) [FAILED] (var test_name) li.9)
(assert! (= (var li.10) 10) [FAILED] (var test_name) li.10)
(assert! (= (var li_ptr.0) 0) [FAILED] (var test_name) li_ptr.0)
(assert! (= (var li_ptr.1) 1) [FAILED] (var test_name) li_ptr.1)
(assert! (= (var li_ptr.2) 2) [FAILED] (var test_name) li_ptr.2)
(assert! (= (var li_ptr.3) 3) [FAILED] (var test_name) li_ptr.3)
(assert! (= (var li_ptr.4) 4) [FAILED] (var test_name) li_ptr.4)
(assert! (= (var li_ptr.5) 5) [FAILED] (var test_name) li_ptr.5)
(assert! (= (var li_ptr.6) 6) [FAILED] (var test_name) li_ptr.6)
(assert! (= (var li_ptr.7) 7) [FAILED] (var test_name) li_ptr.7)
(assert! (= (var li_ptr.8) 8) [FAILED] (var test_name) li_ptr.8)
(assert! (= (var li_ptr.9) 9) [FAILED] (var test_name) li_ptr.9)
(assert! (= (var li_ptr.10) 10) [FAILED] (var test_name) li_ptr.10)
(global (list (list int)) lili)
(global int i)
(for (set! i 0) (=< i 10) (set! i (+ i 1))
(add! (range 0 i 1) lili)
)
(assert! (= (var lili.10.0) 0) [FAILED] (var test_name) lili.10.0 was (var lili.10.0).)
(assert! (= (var lili.9.1) 1) [FAILED] (var test_name) lili.9.1 was (var lili.9.1).)
(assert! (= (var lili.8.2) 2) [FAILED] (var test_name) lili.8.2 was (var lili.8.2).)
(assert! (= (var lili.7.3) 3) [FAILED] (var test_name) lili.7.3 was (var lili.7.3).)
(assert! (= (var lili.6.4) 4) [FAILED] (var test_name) lili.6.4 was (var lili.6.4).)
(assert! (= (var lili.5.5) 5) [FAILED] (var test_name) lili.5.5 was (var lili.5.5).)
(assert! (= (var lili.4.3) 3) [FAILED] (var test_name) lili.4.3 was (var lili.4.3).)
(assert! (= (var lili.3.2) 2) [FAILED] (var test_name) lili.3.2 was (var lili.3.2).)
(assert! (= (var lili.2.1) 1) [FAILED] (var test_name) lili.2.1 was (var lili.2.1).)
(assert! (= (var lili.1.0) 0) [FAILED] (var test_name) lili.1.0 was (var lili.1.0).)
(assert! (= (var lili.0.0) 0) [FAILED] (var test_name) lili.0.0 was (var lili.0.0).)
[COMPLETED] (var test_name)
(end!)
|
