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