-
Alexandre Duret-Lutz authored
* wrap/python/ajax/spot.in: Adjust to the new interface. * wrap/python/spot.i: Work around missing support for nested classes. * wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltl2tgba.test: More test.
10c4a92d
* wrap/python/ajax/spot.in: Adjust to the new interface. * wrap/python/spot.i: Work around missing support for nested classes. * wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltl2tgba.test: More test.