From a735c2b72dc494ad70d19fcc131f0ded54a650d1 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 6 Feb 2024 23:12:55 +0100 Subject: [PATCH] tl_simplifier: add more test cases Fixes #558 by just adding test cases showing there is no issue. * tests/core/reduccmp.test: Add test cases. --- tests/core/reduccmp.test | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/tests/core/reduccmp.test b/tests/core/reduccmp.test index 42505ed46..27580cb34 100755 --- a/tests/core/reduccmp.test +++ b/tests/core/reduccmp.test @@ -487,6 +487,11 @@ GF(a && GF(b) && c), G(F(a & c) & Fb) {first_match(1:e[*0..3])[*]}[]-> c, c W !e {first_match(first_match(a*;e);b)}[]->a, {first_match(a[*];e)}[]-> X(a | !b) {first_match(first_match(a*;e):b*)}[]->a, {first_match(a[*];e)}[]-> (a | !b) + +# issue 558 (was a false alarm, but still good to test) +{(!b)[*3];b}!, !b & X(!b & X(!b & Xb)) +{(!b)[+];b}!, !b & XFb +{(!b)[*];b}!, Fb EOF run 0 ../reduccmp nottau.txt