From 37e48fb6ece2a3d6fae7dee9588c191fe040d054 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Sat, 8 Aug 2020 18:25:44 +0200 Subject: More tests and fixes; anon ref/set/list. --- data/tests/comparisons.fate | 48 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) create mode 100644 data/tests/comparisons.fate (limited to 'data/tests/comparisons.fate') diff --git a/data/tests/comparisons.fate b/data/tests/comparisons.fate new file mode 100644 index 0000000..68c5ed9 --- /dev/null +++ b/data/tests/comparisons.fate @@ -0,0 +1,48 @@ +(fate_version 1) + +(assert (exactly_one (< a b) (< b a)) FAILED: string comparison A) +(assert (exactly_one (< a aa) (< aa a)) FAILED: string comparison B) + +(assert + (exactly_one (< ( a aa ) ( aa a )) (< ( aa a ) ( a aa ))) + FAILED: string comparison C +) + +(declare_ptr_type int int_ptr) + +(def_var int i) +(def_var int_ptr i_ptr) + +(def_var int j) +(def_var int_ptr j_ptr) + +(set i_ptr (ptr i)) +(set j_ptr (ptr j)) + +(assert (exactly_one + (< (var i_ptr) (var j_ptr)) + (< (var j_ptr) (var i_ptr)) + ) + FAILED: string comparison C +) + +(def_dict test_dict_t + (int a) + (int b) +) + +(def_var test_dict_t td) + +(set i_ptr (ptr td.a)) +(set j_ptr (ptr td.b)) + + +(assert + (exactly_one + (< (var i_ptr) (var j_ptr)) + (< (var j_ptr) (var i_ptr)) + ) + FAILED: string comparison D +) + +(end) -- cgit v1.2.3-70-g09d2