* 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.
This commit is contained in:
parent
1095dd7533
commit
ea9a96237b
3 changed files with 10 additions and 8 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue