improve bindings for counterexample output
This is ugly:
res = spot.couvreur99(automaton).check()
if res:
run = res.accepting_run()
s = spot.ostringstream()
spot.print_tgba_run(s, run)
print(s.str())
tgba
is a relic. Using ostringstream
is not Pythonic.