From 49192cc35fe0bd7b3eeed81e6d9d701c3c80eef2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 2 Feb 2004 21:43:41 +0000 Subject: [PATCH] * wrap/python/tests/bddnqueen.py, wrap/python/tests/interdep.py, wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltlparse.py, wrap/python/tests/ltlsimple.py: Specify coding system to accommodate newer Python versions. --- ChangeLog | 5 +++++ wrap/python/tests/bddnqueen.py | 5 +++-- wrap/python/tests/interdep.py | 3 ++- wrap/python/tests/ltl2tgba.py | 5 +++-- wrap/python/tests/ltlparse.py | 3 ++- wrap/python/tests/ltlsimple.py | 3 ++- 6 files changed, 17 insertions(+), 7 deletions(-) diff --git a/ChangeLog b/ChangeLog index a8224a9c9..80c787784 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,10 @@ 2004-02-02 Alexandre Duret-Lutz + * wrap/python/tests/bddnqueen.py, wrap/python/tests/interdep.py, + wrap/python/tests/ltl2tgba.py, wrap/python/tests/ltlparse.py, + wrap/python/tests/ltlsimple.py: Specify coding system to + accommodate newer Python versions. + * src/misc/bddalloc.hh: Make all methods public. * wrap/python/spot.i: Include misc/bddalloc.hh and misc/minato.hh. * wrap/python/tests/minato.py: New file. diff --git a/wrap/python/tests/bddnqueen.py b/wrap/python/tests/bddnqueen.py index 9d8225b17..0a25550dd 100755 --- a/wrap/python/tests/bddnqueen.py +++ b/wrap/python/tests/bddnqueen.py @@ -1,4 +1,5 @@ -# Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), +# -*- mode: python; coding: iso-8859-1 -*- +# 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. # @@ -30,7 +31,7 @@ from buddy import * # that (i,j) has a queen. def build(i, j): a = b = c = d = bddtrue - + # No one in the same column. for l in side: if l != j: diff --git a/wrap/python/tests/interdep.py b/wrap/python/tests/interdep.py index 3175251be..721df3bb3 100755 --- a/wrap/python/tests/interdep.py +++ b/wrap/python/tests/interdep.py @@ -1,4 +1,5 @@ -# Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), +# -*- mode: python; coding: iso-8859-1 -*- +# 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. # diff --git a/wrap/python/tests/ltl2tgba.py b/wrap/python/tests/ltl2tgba.py index b802a6501..5f289aca6 100755 --- a/wrap/python/tests/ltl2tgba.py +++ b/wrap/python/tests/ltl2tgba.py @@ -1,4 +1,5 @@ -# Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), +# -*- mode: python; coding: iso-8859-1 -*- +# 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. # @@ -20,7 +21,7 @@ # 02111-1307, USA. # This is a python translation of the ltl2tgba C++ test program. -# Compare with src/tgbatest/ltl2tgba.test. +# Compare with src/tgbatest/ltl2tgba.cc. import sys import getopt diff --git a/wrap/python/tests/ltlparse.py b/wrap/python/tests/ltlparse.py index f71ca186d..250f736d2 100755 --- a/wrap/python/tests/ltlparse.py +++ b/wrap/python/tests/ltlparse.py @@ -1,4 +1,5 @@ -# Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), +# -*- mode: python; coding: iso-8859-1 -*- +# 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. # diff --git a/wrap/python/tests/ltlsimple.py b/wrap/python/tests/ltlsimple.py index c3c102e6f..5a3734da8 100755 --- a/wrap/python/tests/ltlsimple.py +++ b/wrap/python/tests/ltlsimple.py @@ -1,4 +1,5 @@ -# Copyright (C) 2003 Laboratoire d'Informatique de Paris 6 (LIP6), +# -*- mode: python; coding: iso-8859-1 -*- +# 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. #