blob: 190929a463cb921fed040f3b22d524adaa304e53 (
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
|
(fate_version 1)
(global string test_name)
(set! test_name ( ADD ELEMENTS OF ))
(global (list int) li0)
(global (list int) li1)
(set! li0
(list:add_all (list:range 8 10 1)
(list:add_all (list:range 4 7 1)
(list:add_all (list:range 0 3 1)
(default (list int))
)
)
)
)
(list:add_all! (list:range 0 3 1) li1)
(list:add_all! (list:range 4 7 1) (at (ptr li1)))
(list:add_all! (list:range 8 10 1) li1)
(assert! (= (var li0) (var li1)) [FAILED] (var test_name) equality.)
(assert! (= (var li0.0) (var li1.0) 0) [FAILED] (var test_name) at 0: (var li0.1), (var li1.0).)
(assert! (= (var li0.1) (var li1.1) 1) [FAILED] (var test_name) at 1: (var li0.1), (var li1.1).)
(assert! (= (var li0.2) (var li1.2) 2) [FAILED] (var test_name) at 2: (var li0.2), (var li1.2).)
(assert! (= (var li0.3) (var li1.3) 3) [FAILED] (var test_name) at 3: (var li0.3), (var li1.3).)
(assert! (= (var li0.4) (var li1.4) 4) [FAILED] (var test_name) at 4: (var li0.4), (var li1.4).)
(assert! (= (var li0.5) (var li1.5) 5) [FAILED] (var test_name) at 5: (var li0.5), (var li1.5).)
(assert! (= (var li0.6) (var li1.6) 6) [FAILED] (var test_name) at 6: (var li0.6), (var li1.6).)
(assert! (= (var li0.7) (var li1.7) 7) [FAILED] (var test_name) at 7: (var li0.7), (var li1.7).)
(list:add_all! (list:range 11 20 1) li0)
(list:add_all! (list:range 11 20 1) li1)
(global (set int) si0)
(global (set int) si1)
(set! si0
(set:add_all (list:range 0 10 2)
(set:add_all (list:range 11 20 2)
(set:add_all (list:range 1 10 2)
(set:add_all (list:range 12 20 2)
(default (set int))
)
)
)
)
)
(set:add_all! (list:range 0 10 2) si1)
(set:add_all! (list:range 11 20 2) (at (ptr si1)))
(set:add_all! (list:range 1 10 2) si1)
(set:add_all! (list:range 12 20 2) si1)
(assert! (= (var li0) (var li1) (var si0) (var si1)) [FAILED] (var test_name) equality 2.)
[COMPLETED] (var test_name)
(end!)
|
