-
Alexandre Duret-Lutz authored
* spot/twaalgos/alternation.cc: Fix the code to also check the weakness of single-state SCCs. * tests/core/alternating.test: Add a test from ltl3hoa.
3ff2acb3
* spot/twaalgos/alternation.cc: Fix the code to also check the weakness of single-state SCCs. * tests/core/alternating.test: Add a test from ltl3hoa.