Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
spot.i
Find file
Blame
History
Permalink
* wrap/python/spot.i: Declare spot::ltl_to_tgba as a constructor.
· ea9a9623
Alexandre Duret-Lutz
authored
Aug 04, 2003
* wrap/python/tests/ltl2tgba.py: Do not force `thisown=1' on tgba objects.
ea9a9623