| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data/unit-testing/access_pointer.fate')
| -rw-r--r-- | data/unit-testing/access_pointer.fate | 60 |
1 files changed, 30 insertions, 30 deletions
diff --git a/data/unit-testing/access_pointer.fate b/data/unit-testing/access_pointer.fate index c98c31a..9ec3e44 100644 --- a/data/unit-testing/access_pointer.fate +++ b/data/unit-testing/access_pointer.fate @@ -2,99 +2,99 @@ (global string test_name) -(set test_name ( ACCESS POINTER )) +(set! test_name ( ACCESS POINTER )) (global (list int) li) (global (ptr (list int)) li_ptr) -(set li (range 0 10 1)) -(set li_ptr (ptr li)) +(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 i li)) (var i)) +(for (set! i 0) (=< i 10) (set! i (+ i 1)) + (assert! (= (at (access_ptr i li)) (var i)) [FAILED] ACCESS POINTER assert failed on (var i) for li. ) - (assert (= (at (access_ptr i li_ptr)) (var i)) + (assert! (= (at (access_ptr i li_ptr)) (var i)) [FAILED] ACCESS POINTER assert failed on (var i) with for li_ptr. ) ) (global (list (list int)) lili) -(for (set i 0) (=< i 10) (set i (+ i 1)) +(for (set! i 0) (=< i 10) (set! i (+ i 1)) (add! (range 0 i 1) lili) ) -(assert +(assert! (= (at (access_ptr 0 (at (access_ptr 10 lili)))) 0) [FAILED] (var test_name) lili.10.0 was (at (access_ptr 0 (at (access_ptr 10 lili)))) for part A. ) -(assert +(assert! (= (at (access_ptr 1 (at (access_ptr 9 lili)))) 1) [FAILED] (var test_name) lili.9.1 was (at (access_ptr 1 (at (access_ptr 9 lili)))) for part A. ) -(assert +(assert! (= (at (access_ptr 2 (at (access_ptr 8 lili)))) 2) [FAILED] (var test_name) lili.8.2 was (at (access_ptr 2 (at (access_ptr 8 lili)))) for part A. ) -(assert +(assert! (= (at (access_ptr 3 (at (access_ptr 7 lili)))) 3) [FAILED] (var test_name) lili.7.3 was (at (access_ptr 3 (at (access_ptr 7 lili)))) for part A. ) -(assert +(assert! (= (at (access_ptr 4 (at (access_ptr 6 lili)))) 4) [FAILED] (var test_name) lili.6.4 was (at (access_ptr 4 (at (access_ptr 6 lili)))) for part A. ) -(assert +(assert! (= (at (access_ptr 5 (at (access_ptr 5 lili)))) 5) [FAILED] (var test_name) lili.5.5 was (at (access_ptr 5 (at (access_ptr 5 lili)))) for part A. ) -(assert +(assert! (= (at (access_ptr 3 (at (access_ptr 4 lili)))) 3) [FAILED] (var test_name) lili.4.3 was (at (access_ptr 3 (at (access_ptr 4 lili)))) for part A. ) -(assert +(assert! (= (at (access_ptr 2 (at (access_ptr 3 lili)))) 2) [FAILED] (var test_name) lili.3.2 was (at (access_ptr 2 (at (access_ptr 3 lili)))) for part A. ) -(assert +(assert! (= (at (access_ptr 1 (at (access_ptr 2 lili)))) 1) [FAILED] (var test_name) lili.2.1 was (at (access_ptr 1 (at (access_ptr 2 lili)))) for part A. ) -(assert +(assert! (= (at (access_ptr 0 (at (access_ptr 1 lili)))) 0) [FAILED] (var test_name) lili.1.0 was (at (access_ptr 0 (at (access_ptr 1 lili)))) for part A. ) -(assert +(assert! (= (at (access_ptr 0 (at (access_ptr 0 lili)))) 0) [FAILED] (var test_name) lili.0.0 was (at (access_ptr 0 (at (access_ptr 0 lili)))) for part A. ) -(assert (= (at (access_ptr 0 lili.10)) 0) [FAILED] (var test_name) lili.10.0 was (at (access_ptr 0 lili.10)) for part B.) -(assert (= (at (access_ptr 1 lili.9)) 1) [FAILED] (var test_name) lili.9.1 was (at (access_ptr 1 lili.9)) for part B.) -(assert (= (at (access_ptr 2 lili.8)) 2) [FAILED] (var test_name) lili.8.2 was (at (access_ptr 2 lili.8)) for part B.) -(assert (= (at (access_ptr 3 lili.7)) 3) [FAILED] (var test_name) lili.7.3 was (at (access_ptr 3 lili.7)) for part B.) -(assert (= (at (access_ptr 4 lili.6)) 4) [FAILED] (var test_name) lili.6.4 was (at (access_ptr 4 lili.6)) for part B.) -(assert (= (at (access_ptr 5 lili.5)) 5) [FAILED] (var test_name) lili.5.5 was (at (access_ptr 5 lili.5)) for part B.) -(assert (= (at (access_ptr 3 lili.4)) 3) [FAILED] (var test_name) lili.4.3 was (at (access_ptr 3 lili.4)) for part B.) -(assert (= (at (access_ptr 2 lili.3)) 2) [FAILED] (var test_name) lili.3.2 was (at (access_ptr 2 lili.3)) for part B.) -(assert (= (at (access_ptr 1 lili.2)) 1) [FAILED] (var test_name) lili.2.1 was (at (access_ptr 1 lili.2)) for part B.) -(assert (= (at (access_ptr 0 lili.1)) 0) [FAILED] (var test_name) lili.1.0 was (at (access_ptr 0 lili.1)) for part B.) -(assert (= (at (access_ptr 0 lili.0)) 0) [FAILED] (var test_name) lili.0.0 was (at (access_ptr 0 lili.0)) for part B.) +(assert! (= (at (access_ptr 0 lili.10)) 0) [FAILED] (var test_name) lili.10.0 was (at (access_ptr 0 lili.10)) for part B.) +(assert! (= (at (access_ptr 1 lili.9)) 1) [FAILED] (var test_name) lili.9.1 was (at (access_ptr 1 lili.9)) for part B.) +(assert! (= (at (access_ptr 2 lili.8)) 2) [FAILED] (var test_name) lili.8.2 was (at (access_ptr 2 lili.8)) for part B.) +(assert! (= (at (access_ptr 3 lili.7)) 3) [FAILED] (var test_name) lili.7.3 was (at (access_ptr 3 lili.7)) for part B.) +(assert! (= (at (access_ptr 4 lili.6)) 4) [FAILED] (var test_name) lili.6.4 was (at (access_ptr 4 lili.6)) for part B.) +(assert! (= (at (access_ptr 5 lili.5)) 5) [FAILED] (var test_name) lili.5.5 was (at (access_ptr 5 lili.5)) for part B.) +(assert! (= (at (access_ptr 3 lili.4)) 3) [FAILED] (var test_name) lili.4.3 was (at (access_ptr 3 lili.4)) for part B.) +(assert! (= (at (access_ptr 2 lili.3)) 2) [FAILED] (var test_name) lili.3.2 was (at (access_ptr 2 lili.3)) for part B.) +(assert! (= (at (access_ptr 1 lili.2)) 1) [FAILED] (var test_name) lili.2.1 was (at (access_ptr 1 lili.2)) for part B.) +(assert! (= (at (access_ptr 0 lili.1)) 0) [FAILED] (var test_name) lili.1.0 was (at (access_ptr 0 lili.1)) for part B.) +(assert! (= (at (access_ptr 0 lili.0)) 0) [FAILED] (var test_name) lili.0.0 was (at (access_ptr 0 lili.0)) for part B.) [COMPLETED] ACCESS POINTER -(end) +(end!) |