diff --git a/ChangeLog b/ChangeLog index e21069593..d70341de5 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,8 +1,13 @@ 2003-08-04 Alexandre Duret-Lutz + * wrap/python/spot.i: Declare spot::ltl_to_tgba as a constructor. + * wrap/python/tests/ltl2tgba.py: Do not force `thisown=1' on tgba + objects. + * wrap/python/spot.i: Include headers from tgba/ and tgbaalgos/. * 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. diff --git a/wrap/python/spot.i b/wrap/python/spot.i index 8379d89f9..d01cdc7d0 100644 --- a/wrap/python/spot.i +++ b/wrap/python/spot.i @@ -73,6 +73,8 @@ using namespace spot; %include "ltlvisit/tostring.hh" %include "ltlvisit/tunabbrev.hh" +%feature("new") spot::ltl_to_tgba; + // Help SWIG with namespace lookups. #define ltl spot::ltl %include "tgba/bdddict.hh" diff --git a/wrap/python/tests/ltl2tgba.py b/wrap/python/tests/ltl2tgba.py index 7590dcd8a..ca84c7184 100755 --- a/wrap/python/tests/ltl2tgba.py +++ b/wrap/python/tests/ltl2tgba.py @@ -101,16 +101,11 @@ if f: else: assert "unknown output option" + if degeneralize_opt: + del degeneralized # Must delete absolutely all references to an automaton # so that the C++ destructor gets called. - del a - - if degeneralize_opt: - degeneralized.thisown = 1 - del degeneralized - - concrete.thisown = 1 - del concrete + del a, concrete else: exit_code = 1