-
Alexandre Duret-Lutz authored
* spot/parseaut/parseaut.yy: Check the SPOT_HOA_TOLERANT variable. * tests/core/ltl3ba.test, tests/core/parseaut.test: Adjust test cases. * NEWS, bin/man/spot-x.x: Mention SPOT_HOA_TOLERANT.
eb8df6d7
* spot/parseaut/parseaut.yy: Check the SPOT_HOA_TOLERANT variable. * tests/core/ltl3ba.test, tests/core/parseaut.test: Adjust test cases. * NEWS, bin/man/spot-x.x: Mention SPOT_HOA_TOLERANT.