-
Alexandre Duret-Lutz authored
* spot/twa/acc.cc: Factor all the error reporting code in a single place, and improve the error message at end of acceptance. * tests/core/randaut.test: Add more tests.
91bb93ee
* spot/twa/acc.cc: Factor all the error reporting code in a single place, and improve the error message at end of acceptance. * tests/core/randaut.test: Add more tests.