From 659c4440918e2e1c68cf388e9d9c7eb3e83eb4d7 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sat, 7 Nov 2020 14:14:44 +0100 Subject: Adds more unit tests. --- data/unit-testing/cons_car_cdr.fate | 51 +++++++++++++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) create mode 100644 data/unit-testing/cons_car_cdr.fate (limited to 'data/unit-testing/cons_car_cdr.fate') diff --git a/data/unit-testing/cons_car_cdr.fate b/data/unit-testing/cons_car_cdr.fate new file mode 100644 index 0000000..7187f6a --- /dev/null +++ b/data/unit-testing/cons_car_cdr.fate @@ -0,0 +1,51 @@ +(fate_version 1) + +(global string test_name) + +(set test_name ( CONS CAR CDR )) + +(assert (= (car (cons 1 (cons 2 (cons 3 (cons 4 5))))) 1) + [FAILED] (var test_name) test 1: (car (cons 1 (cons 2 (cons 3 (cons 4 5))))). +) + +(assert (= (car (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))) 2) + [FAILED] (var test_name) test 2: + (car (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))). +) + +(assert (= (car (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5))))))) 3) + [FAILED] (var test_name) test 3: + (car (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5))))))). +) + +(assert (= (car (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))) 4) + [FAILED] (var test_name) test 4: + (car (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))). +) + +(assert (= (cdr (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))) 5) + [FAILED] (var test_name) test 5: + (cdr (cdr (cdr (cdr (cons 1 (cons 2 (cons 3 (cons 4 5)))))))). +) + +(assert (= (car (cons test 0)) test) + [FAILED] (var test_name) test string: + (car (cons test 0)) +) + +(global (cons float string) cfs) +(global (cons float string) cfs2) + +(set cfs (cons 3.14 pi)) + +(assert (= (car cfs) 3.14) [FAILED] (var test_name) test 3.14: (car cfs).) +(assert (= (cdr cfs) pi) [FAILED] (var test_name) test pi: (cdr cfs).) + + +(set cfs2 (cons (car cfs) (cdr cfs))) + +(assert (= (var cfs2) (var cfs)) [FAILED] (var test_name) equality.) + +[COMPLETED] (var test_name) + +(end) -- cgit v1.2.3-70-g09d2