-
Alexandre Duret-Lutz authored
* wrap/python/ajax/spot.in: Do full scc_filter for TGBA (-R3f), and keep some extra acceptance conditions (-R3) when degeneralizing. The converse was done.
97df5b42
* wrap/python/ajax/spot.in: Do full scc_filter for TGBA (-R3f), and keep some extra acceptance conditions (-R3) when degeneralizing. The converse was done.