From f95ea4dd016bbf1a6e2a510fd519148ccb01f143 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Wed, 11 Aug 2021 02:17:02 +0200 Subject: ... --- data/unit-testing/ifelse.fate | 2 +- data/unit-testing/trivial.fate | 27 +++++++++++++++++++++++++++ 2 files changed, 28 insertions(+), 1 deletion(-) create mode 100644 data/unit-testing/trivial.fate (limited to 'data') diff --git a/data/unit-testing/ifelse.fate b/data/unit-testing/ifelse.fate index 34bc4f0..65a228f 100644 --- a/data/unit-testing/ifelse.fate +++ b/data/unit-testing/ifelse.fate @@ -4,12 +4,12 @@ (set! test_name ( IF ELSE )) +(global bool test) (if (false) (assert! (false) [FAILED] (var test_name) Executing dead code 0.) ) -(global bool test) (set! test (false)) diff --git a/data/unit-testing/trivial.fate b/data/unit-testing/trivial.fate new file mode 100644 index 0000000..48acdbe --- /dev/null +++ b/data/unit-testing/trivial.fate @@ -0,0 +1,27 @@ +(fate_version 1) + +(global string test_name) + +(let! test_name TRIVIAL) + +;;(global int test) + + +;;(assert! (= 1 1) [FAILED] (var test_name) Executing dead code 0.) + +;;(if (= 1 2) +;; (assert! (= 1 2) [FAILED] (var test_name) Executing dead code 0.) +;;) + +;;(ifelse (= 1 2) +;; (assert! (= 1 2) [FAILED] (var test_name) Executing dead code 1.) +;; (set! test 1) +;;) + +;;(assert! (= (var test) 0) [FAILED] (var test_name) ignored valid branch 0.) + +;;(assert! (= (min 5 -1 2 3 1 4) -1) [FAILED] (var test_name) min op) + +;;[COMPLETED] (var test_name) + +;;(end!) -- cgit v1.2.3-70-g09d2