From ea9a96237b4367e9ccb749349d4b09f4bc5db21b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 4 Aug 2003 14:36:04 +0000 Subject: [PATCH] * 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. --- ChangeLog | 5 +++++ wrap/python/spot.i | 2 ++ wrap/python/tests/ltl2tgba.py | 11 +++-------- 3 files changed, 10 insertions(+), 8 deletions(-) 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" - # 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 + # Must delete absolutely all references to an automaton + # so that the C++ destructor gets called. + del a, concrete else: exit_code = 1 -- GitLab