make sure the type of the HOA is consistent with the --buchi-type flag
make sure the type of the HOA is consistent with the --buchi-type flag

It should be tgba for transition-based acceptance and spotba otherwise.
utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin