summaryrefslogtreecommitdiff
blob: c829454eaaa7f2017324217cfae4d54faa684f6b (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
(fate_version 1)

(global (list int) li)
(global (ptr (list int)) li_ptr)

(set li (range 0 10 1))
(set li_ptr (ptr li))

(global int i)

(for (set i 0) (< i 10) (set i (+ i 1))
   (assert (= (access li i) (var i))
      [FAILED] ACCESS assert failed on (var i) for li.
   )
   (assert (= (access li_ptr i) (var i))
      [FAILED] ACCESS assert failed on (var i) with for li_ptr.
   )
)

[COMPLETED] ACCESS

(end)