hoa: use acc-name to validate Acceptance
With version 1.1.1, ltl3ba -H2 -f Fa
outputs
acc-name: generalized-Buchi 1
Acceptance: 1 t
instead of
acc-name: generalized-Buchi 1
Acceptance: 1 Inf(0)
Since tonight our parser ignores useless acceptance sets (see this HOA issue), so the first example is silently converted to
acc-name: all
Acceptance: 0 t
To catch the error in the first example, we should probably look at acc-name:
and match the values we recognize against the Acceptance:
line.