-
Alexandre Duret-Lutz authored
* tests/core/ltl2dstar.test: Reduce the amount of tests performed on one formula that is problematic for ltl2dstar.
d219e4a5
* tests/core/ltl2dstar.test: Reduce the amount of tests performed on one formula that is problematic for ltl2dstar.