-
Alexandre Duret-Lutz authored
The streett_to_generalized_buchi() function was not tested unless ltl2dstar is installed. * tests/core/streett.test: New file. * tests/Makefile.am: Add it.
b136b81c
The streett_to_generalized_buchi() function was not tested unless ltl2dstar is installed. * tests/core/streett.test: New file. * tests/Makefile.am: Add it.