From 47ed18431dfdbbbe483ccea70518edb932595650 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Tue, 3 Nov 2020 11:03:10 +0100 Subject: Starting some unit testing... --- data/unit-testing/access.fate | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 data/unit-testing/access.fate (limited to 'data/unit-testing/access.fate') diff --git a/data/unit-testing/access.fate b/data/unit-testing/access.fate new file mode 100644 index 0000000..c829454 --- /dev/null +++ b/data/unit-testing/access.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 (= (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. + ) +) + +[COMPLETED] ACCESS + +(end) -- cgit v1.2.3-70-g09d2