-
Alexandre Duret-Lutz authored
* src/ltlparse/ltlparse.yy (try_recursive_parse): Diagnose empty strings. * src/ltltest/lenient.test: Add tests.
676ab41f
* src/ltlparse/ltlparse.yy (try_recursive_parse): Diagnose empty strings. * src/ltltest/lenient.test: Add tests.