From 5826a400637df677b4e8d36d6a47faeff0cb28a6 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 9 Nov 2023 23:19:39 +0100 Subject: [PATCH] add test case for issue #546 This, and the previous two patches, fixes issue #546. * tests/core/ltlcross.test: Add a test case. --- tests/core/ltlcross.test | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tests/core/ltlcross.test b/tests/core/ltlcross.test index ebe20fb26..faa386cb9 100755 --- a/tests/core/ltlcross.test +++ b/tests/core/ltlcross.test @@ -68,3 +68,6 @@ ltlcross --verbose ltl2tgba ltl2tgba \ # Issue #524. ltlcross ltl2tgba -f '!(X(v3 | G!v5) | ((Xv5 & !(v5 & !X!v3)) U !v5))' + +# Issue #546. +ltlcross 'ltl2tgba --medium -p' 'ltl2tgba -p' -f 'a | FGa | GF(!b | Gb)'