Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
wrap
python
tests
ltl2tgba.py
Find file
Blame
History
Permalink
Adjust to Swig 3.0.
· ae62265e
Alexandre Duret-Lutz
authored
Apr 03, 2014
* wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltlparse.py: Use Boolean instead of integers.
ae62265e