-
Alexandre Duret-Lutz authored
The generalization to Streett-like of 7b5b8f34 was incomplete for this case. Thanks to František Blahoudek for reporting the bug. Fixes #279. * spot/twaalgos/totgba.cc (streett_to_generalized_buchi): Here. * tests/core/remfin.test: Add more tests.
f7ba4908