gfguarantee: fix handling of true/false languages (!94) · Merge requests · Spot / Spot · GitLab

Alexandre Duret-Lutz requested to merge adl/548 into next Nov 15, 2023

Fixes #546 (closed) (again).

spot/twaalgos/gfguarantee.cc (g_f_terminal_inplace): Detect true/false languages early, so that we do not tag them as non-inherently-weak.
tests/core/ltlcross.test: Improve test case.