Unit testing for access: OK.

3 files changed, 84 insertions, 1 deletions

diff --git a/data/unit-testing/access.fate b/data/unit-testing/access.fate
index c829454..7c1976f 100644
--- a/data/unit-testing/access.fate
+++ b/data/unit-testing/access.fate
@@ -8,13 +8,16 @@
 
 (global int i)
 
-(for (set i 0) (< i 10) (set i (+ i 1))
+(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.
    )
+   (assert (= (access (range 0 10 1) i) (var i))
+      [FAILED] ACCESS assert failed on (var i) with for range.
+   )
 )
 
 [COMPLETED] ACCESS
diff --git a/data/unit-testing/access_constant_index.fate b/data/unit-testing/access_constant_index.fate
new file mode 100644
index 0000000..7399289
--- /dev/null
+++ b/data/unit-testing/access_constant_index.fate
@@ -0,0 +1,58 @@
+(fate_version 1)
+
+(global string test_name)
+
+(set test_name ( ACCESS CONSTANT INDEX ))
+
+(global (list int) li)
+(global (ptr (list int)) li_ptr)
+
+(set li (range 0 10 1))
+(set li_ptr (ptr li))
+
+(assert (= (var li.0) 0) [FAILED] (var test_name) li.0)
+(assert (= (var li.1) 1) [FAILED] (var test_name) li.1)
+(assert (= (var li.2) 2) [FAILED] (var test_name) li.2)
+(assert (= (var li.3) 3) [FAILED] (var test_name) li.3)
+(assert (= (var li.4) 4) [FAILED] (var test_name) li.4)
+(assert (= (var li.5) 5) [FAILED] (var test_name) li.5)
+(assert (= (var li.6) 6) [FAILED] (var test_name) li.6)
+(assert (= (var li.7) 7) [FAILED] (var test_name) li.7)
+(assert (= (var li.8) 8) [FAILED] (var test_name) li.8)
+(assert (= (var li.9) 9) [FAILED] (var test_name) li.9)
+(assert (= (var li.10) 10) [FAILED] (var test_name) li.10)
+
+(assert (= (var li_ptr.0) 0) [FAILED] (var test_name) li_ptr.0)
+(assert (= (var li_ptr.1) 1) [FAILED] (var test_name) li_ptr.1)
+(assert (= (var li_ptr.2) 2) [FAILED] (var test_name) li_ptr.2)
+(assert (= (var li_ptr.3) 3) [FAILED] (var test_name) li_ptr.3)
+(assert (= (var li_ptr.4) 4) [FAILED] (var test_name) li_ptr.4)
+(assert (= (var li_ptr.5) 5) [FAILED] (var test_name) li_ptr.5)
+(assert (= (var li_ptr.6) 6) [FAILED] (var test_name) li_ptr.6)
+(assert (= (var li_ptr.7) 7) [FAILED] (var test_name) li_ptr.7)
+(assert (= (var li_ptr.8) 8) [FAILED] (var test_name) li_ptr.8)
+(assert (= (var li_ptr.9) 9) [FAILED] (var test_name) li_ptr.9)
+(assert (= (var li_ptr.10) 10) [FAILED] (var test_name) li_ptr.10)
+
+(global (list (list int)) lili)
+(global int i)
+
+(for (set i 0) (=< i 10) (set i (+ i 1))
+   (add! (range 0 i 1) lili)
+)
+
+(assert (= (var lili.10.0) 0) [FAILED] (var test_name) lili.10.0 was (var lili.10.0).)
+(assert (= (var lili.9.1) 1) [FAILED] (var test_name) lili.9.1 was (var lili.9.1).)
+(assert (= (var lili.8.2) 2) [FAILED] (var test_name) lili.8.2 was (var lili.8.2).)
+(assert (= (var lili.7.3) 3) [FAILED] (var test_name) lili.7.3 was (var lili.7.3).)
+(assert (= (var lili.6.4) 4) [FAILED] (var test_name) lili.6.4 was (var lili.6.4).)
+(assert (= (var lili.5.5) 5) [FAILED] (var test_name) lili.5.5 was (var lili.5.5).)
+(assert (= (var lili.4.3) 3) [FAILED] (var test_name) lili.4.3 was (var lili.4.3).)
+(assert (= (var lili.3.2) 2) [FAILED] (var test_name) lili.3.2 was (var lili.3.2).)
+(assert (= (var lili.2.1) 1) [FAILED] (var test_name) lili.2.1 was (var lili.2.1).)
+(assert (= (var lili.1.0) 0) [FAILED] (var test_name) lili.1.0 was (var lili.1.0).)
+(assert (= (var lili.0.0) 0) [FAILED] (var test_name) lili.0.0 was (var lili.0.0).)
+
+[COMPLETED] (var test_name)
+
+(end)
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)