-
Alexandre Duret-Lutz authored
* src/hoaparse/hoaparse.yy: validate deterministic and complete when parsing HOA. Also set the deterministic property on the TGBA. * src/tgbatest/hoaparse.test: Test errors.
0b8b65f9
* src/hoaparse/hoaparse.yy: validate deterministic and complete when parsing HOA. Also set the deterministic property on the TGBA. * src/tgbatest/hoaparse.test: Test errors.