diff --git a/wrap/python/tests/ltl2tgba.py b/wrap/python/tests/ltl2tgba.py index a1dc464d4..bf46d43e2 100755 --- a/wrap/python/tests/ltl2tgba.py +++ b/wrap/python/tests/ltl2tgba.py @@ -1,5 +1,5 @@ # -*- 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': diff --git a/wrap/python/tests/ltlparse.py b/wrap/python/tests/ltlparse.py index f972432ee..a97c74b81 100755 --- a/wrap/python/tests/ltlparse.py +++ b/wrap/python/tests/ltlparse.py @@ -1,6 +1,6 @@ # -*- 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)