incorrect deterministic property displayed by hoa printer
When printing an universal automaton using hoa format, the property deterministic is set where it should not.
Incriminated code is in hoa.cc lines 120-126.
When printing an universal automaton using hoa format, the property deterministic is set where it should not.
Incriminated code is in hoa.cc lines 120-126.