alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

Adjust to Swig 3.0.

Browse source 
* wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltlparse.py: Use
Boolean instead of integers.
This commit is contained in:
Alexandre Duret-Lutz 2014-04-03 17:14:09 +02:00
parent f5914647aa
commit ae62265ec8
2 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
wrap/python/tests/ltl2tgba.py
View file

@ -1,5 +1,5 @@
# -*- mode: python; coding: utf-8 -*- # -*- 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). # Développement de l'Epita (LRDE).
# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), # Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
# département Systèmes Répartis Coopératifs (SRC), Université Pierre # département Systèmes Répartis Coopératifs (SRC), Université Pierre
@ -51,7 +51,7 @@ except getopt.GetoptError:
usage(prog) usage(prog)
exit_code = 0 exit_code = 0
debug_opt = 0 debug_opt = False
degeneralize_opt = None degeneralize_opt = None
output = 0 output = 0
fm_opt = 0 fm_opt = 0
@ -62,7 +62,7 @@ for o, a in opts:
elif o == '-A': elif o == '-A':
output = 4 output = 4
elif o == '-d': elif o == '-d':
debug_opt = 1 debug_opt = True
elif o == '-D': elif o == '-D':
degeneralize_opt = 1 degeneralize_opt = 1
elif o == '-f': elif o == '-f':

6
wrap/python/tests/ltlparse.py
View file

@ -1,6 +1,6 @@
# -*- mode: python; coding: utf-8 -*- # -*- mode: python; coding: utf-8 -*-
# Copyright (C) 2009, 2010, 2012 Laboratoire de Recherche et Développement # Copyright (C) 2009, 2010, 2012, 2014 Laboratoire de Recherche et
# de l'Epita (LRDE). # Développement de l'Epita (LRDE).
# Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6), # Copyright (C) 2003, 2004 Laboratoire d'Informatique de Paris 6 (LIP6),
# département Systèmes Répartis Coopératifs (SRC), Université Pierre # département Systèmes Répartis Coopératifs (SRC), Université Pierre
# et Marie Curie. # 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']; l = ['GFa', 'a U (((b)) xor c)', '!(FFx <=> Fx)', 'a \/ a \/ b \/ a \/ a'];
for str1 in l: 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): if spot.format_parse_errors(spot.get_cout(), str1, p):
sys.exit(1) sys.exit(1)
str2 = str(f) str2 = str(f)