Commit ea58d68f authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

Adjust to Swig 3.0.

* wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltlparse.py: Use
Boolean instead of integers.
parent 425e8bb3
# -*- mode: python; coding: utf-8 -*-
# Copyright (C) 2009, 2010, 2012 Laboratoire de Recherche et
# Copyright (C) 2009, 2010, 2012, 2014 Laboratoire de Recherche et
# Développement de l'Epita (LRDE).
# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
# département Systèmes Répartis Coopératifs (SRC), Université Pierre
......@@ -51,7 +51,7 @@ except getopt.GetoptError:
usage(prog)
exit_code = 0
debug_opt = 0
debug_opt = False
degeneralize_opt = None
output = 0
fm_opt = 0
......@@ -62,7 +62,7 @@ for o, a in opts:
elif o == '-A':
output = 4
elif o == '-d':
debug_opt = 1
debug_opt = True
elif o == '-D':
degeneralize_opt = 1
elif o == '-f':
......
# -*- mode: python; coding: utf-8 -*-
# Copyright (C) 2009, 2010, 2012 Laboratoire de Recherche et Développement
# de l'Epita (LRDE).
# Copyright (C) 2009, 2010, 2012, 2014 Laboratoire de Recherche et
# Développement de l'Epita (LRDE).
# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
# département Systèmes Répartis Coopératifs (SRC), Université Pierre
# et Marie Curie.
......@@ -29,7 +29,7 @@ p = spot.empty_parse_error_list()
l = ['GFa', 'a U (((b)) xor c)', '!(FFx <=> Fx)', 'a \/ a \/ b \/ a \/ a'];
for str1 in l:
f = spot.parse(str1, p, e, 0)
f = spot.parse(str1, p, e, False)
if spot.format_parse_errors(spot.get_cout(), str1, p):
sys.exit(1)
str2 = str(f)
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment