summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'data/unit-testing/access_pointer.fate')
-rw-r--r--data/unit-testing/access_pointer.fate22
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)