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)'