From 2ec3d993e86f64db38df970dbccfa2eacbc86de4 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Mon, 9 Nov 2020 16:38:07 +0100 Subject: ... --- data/unit-testing/ifelse.fate | 61 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 61 insertions(+) create mode 100644 data/unit-testing/ifelse.fate (limited to 'data/unit-testing/ifelse.fate') diff --git a/data/unit-testing/ifelse.fate b/data/unit-testing/ifelse.fate new file mode 100644 index 0000000..e06be4d --- /dev/null +++ b/data/unit-testing/ifelse.fate @@ -0,0 +1,61 @@ +(fate_version 1) + +(global string test_name) + +(set test_name ( IF ELSE )) + + +(if (false) + (assert (false) [FAILED] (var test_name) Executing dead code 0.) +) + +(global bool test) + +(set test (false)) + +(ifelse (false) + (assert (false) [FAILED] (var test_name) Executing dead code 1.) + (set test (true)) +) + +(assert test [FAILED] (var test_name) ignored valid branch 0.) + +(if (false) + (assert (false) [FAILED] (var test_name) Executing dead code 2.) + (set test (false)) +) + +(assert test [FAILED] (var test_name) Executing dead code 3.) + +(set test + (ifelse (false) + (false) + (true) + ) +) + +(assert test [FAILED] (var test_name) Executing dead code 4.) + +(set test + (ifelse (true) + (true) + (false) + ) +) + +(assert test [FAILED] (var test_name) Executing dead code 5.) + +(assert + (= + (ifelse (= 8 (+ 4 4)) + ( valid string ) + ( incorrect string ) + ) + ( valid string ) + ) + [FAILED] (var test_name) Failed to select correct branch. +) + +[COMPLETED] (var test_name) + +(end) -- cgit v1.2.3-70-g09d2