wrap/python/spot.i · 1095dd7533a4a92ac7c957553ccb1ac143d0ddbb · Spot / Spot

* wrap/python/spot.i: Include headers from tgba/ and tgbaalgos/. · 1095dd75

Alexandre Duret-Lutz authored Aug 04, 2003

* wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltl2tgba.test:
New files.
* wrap/python/tests/Makefile.am (TESTS): Add ltl2tgba.test.
(EXTRA_DIST): Add ltl2tgba.py.
* wrap/python/tests/run.in: Distinguish *.py and *.test.

1095dd75