| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/unit-testing/access_pointer.fate')
| -rw-r--r-- | data/unit-testing/access_pointer.fate | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/data/unit-testing/access_pointer.fate b/data/unit-testing/access_pointer.fate new file mode 100644 index 0000000..39af580 --- /dev/null +++ b/data/unit-testing/access_pointer.fate @@ -0,0 +1,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 (= (at (access_ptr li i)) (var i)) + [FAILED] ACCESS POINTER assert failed on (var i) for li. + ) + (assert (= (at (access_ptr li_ptr i)) (var i)) + [FAILED] ACCESS POINTER assert failed on (var i) with for li_ptr. + ) +) + +[COMPLETED] ACCESS POINTER + +(end) |


