From dbcc7a573200a57600fa550c75201791903c4535 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sun, 9 Aug 2020 19:19:36 +0200 Subject: Found some worrisome issue there. The (index_of ...) in collections.fate yield changing values. --- data/tests/collections.fate | 25 +++++++++++++++++-------- 1 file changed, 17 insertions(+), 8 deletions(-) (limited to 'data') diff --git a/data/tests/collections.fate b/data/tests/collections.fate index 0c804bd..871b122 100644 --- a/data/tests/collections.fate +++ b/data/tests/collections.fate @@ -139,13 +139,22 @@ (assert (= 18 (size (var int_list_a))) FAILED: size list N) -(assert (= 2 (access int_list_a 0)) FAILED: size list M_BIS (access int_list_a 0)) -(assert (= 5 (access int_list_a 3)) FAILED: size list N_BIS (access int_list_a 3)) -(assert (= 2 (count 10 int_list_a)) FAILED: size list O) -(assert (= 0 (count 99 int_list_a)) FAILED: size list P) -;;(assert (= 0 (index_of 2 int_list_a)) FAILED: size list Q) -;;(assert (= 1 (index_of 3 int_list_a)) FAILED: size list R) -(assert (not (is_member 99 int_list_a)) FAILED: size list S) -(assert (is_member 10 int_list_a) FAILED: size list T) +;;(assert (= 2 (access int_list_a 0)) FAILED: size list M_BIS (access int_list_a 0)) +;;(assert (= 5 (access int_list_a 3)) FAILED: size list N_BIS (access int_list_a 3)) +;;(assert (= 2 (count 10 int_list_a)) FAILED: size list O) +;;(assert (= 0 (count 99 int_list_a)) FAILED: size list P) + +(assert (false) test a) +(index_of 3 int_list_a) +(assert (false) test b) +(index_of 3 int_list_a) +(assert (false) test c) +(index_of 3 int_list_a) + +;;(assert (= 1 (index_of 3 int_list_a)) FAILED: size list Q (index_of 2 int_list_a)) +;;(assert (= 1 (index_of 3 int_list_a)) FAILED: size list R (index_of 3 int_list_a)) +;;(assert (= -1 (index_of 333 int_list_a)) FAILED: size list S) +;;(assert (not (is_member 99 int_list_a)) FAILED: size list T) +;;(assert (is_member 10 int_list_a) FAILED: size list U) (end) -- cgit v1.2.3-70-g09d2