| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'data')
| -rw-r--r-- | data/unit-testing/merge.fate | 52 |
1 files changed, 49 insertions, 3 deletions
diff --git a/data/unit-testing/merge.fate b/data/unit-testing/merge.fate index ba40724..4915ff8 100644 --- a/data/unit-testing/merge.fate +++ b/data/unit-testing/merge.fate @@ -516,7 +516,7 @@ ) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;;; INDEXED TEST 1 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;; INDEXED TEST 1 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; For reference, the values found in the sets are: (for (set i 0) (=< i 30) (set i (+ i 1)) @@ -797,10 +797,56 @@ For reference, the values found in the sets are: ) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;;; SAFE TEST 0 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +;;; SAFE TEST 0 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; +(global (list int) sli0) +(global (list int) sli1) +(global (list int) sli2) +(global (list int) sli3) -(assert (false) [FAILED] TODO: safe merge tests.) +(set sli0 + (safe_merge_to_list + (lambda + ( + (int a) + (int b) + ) + (- a b) + ) + 999 + (range 0 10 1) + 1 + (default (list int)) + ) +) + +(set sli1 + (safe_merge_to_list + (lambda + ( + (int a) + (int b) + ) + (- b a) + ) + 1 + (default (list int)) + 999 + (range 0 10 1) + ) +) + +(for (set i 0) (=< i 10) (set i (+ i 1)) + (assert + (= (access i sli0) (access i sli1) (- i 1)) + [FAILED] (var test_name) Equality test safe 0. + ) +) + +(assert + (= (var sli0) (var sli1)) + [FAILED] (var test_name) Equality test safe 0. +) [COMPLETED] (var test_name) |