src/hoaparse/public.hh · 44f98219d36a90957abbd1cebc08554606379a99 · Spot / Spot

python: use hoa_parse instead of tgba_parse · 44f98219

Alexandre Duret-Lutz authored Jan 27, 2015

* src/hoaparse/public.hh: Cope with SWIG.
* wrap/python/spot.i: Bind hoa_parse instead of tgba_parse.
Remove the binding for tgba_parse because it will be removed
soon from Spot (cf. #1).
* wrap/python/ajax/spot.in: Use the HOA output of ltl3ba.
* wrap/python/tests/parsetgba.py: Adjust test case.

44f98219