alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

tl_simplifier: add more test cases

Browse source 
Fixes #558 by just adding test cases showing there is no issue.

* tests/core/reduccmp.test: Add test cases.
This commit is contained in:
Alexandre Duret-Lutz 2024-02-06 23:12:55 +01:00
parent ca739ce816
commit a735c2b72d
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tests/core/reduccmp.test
View file

@ -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