From c2cbe46aef61efee72bf5af7771a78d16472a4e2 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Tue, 3 Nov 2020 14:51:39 +0100
Subject: Unit testing for access: OK.

---
 data/unit-testing/access_pointer.fate | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 data/unit-testing/access_pointer.fate

(limited to 'data/unit-testing/access_pointer.fate')

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)
-- 
cgit v1.2.3-70-g09d2