-
Guillaume Sadegh authored
into a TGBA instead of a TBA. * src/tgba/tgbacomplement.hh, src/tgba/tgbacomplement.cc: Adjust the transformation from Streett to Büchi to support generalized acceptance conditions. * src/tgbatest/complementation.cc: Improve output messages. * src/tgbatest/complementation.test: New tests.
e0a8114f