blob: cc301544873c79849fab3b015c7c2ef97b302737 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
(fate_version 1)
(require include/data_types.fate)
(def_var (ptr int) alloc_i)
(set alloc_i (new int))
(set (at alloc_i) 2)
(assert (= (at (var alloc_i)) 2) FAILED: set at A)
(def_var (ptr (ptr int)) i_ptr_ptr)
(set i_ptr_ptr (ptr alloc_i))
(set (at (at i_ptr_ptr)) 4)
(assert (= (at (var alloc_i)) 4) FAILED: set at B)
(end)
|
