From 579e8fc0a9d9e696589c50968565b4049ab1f426 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 8 Jan 2015 23:37:03 +0100 Subject: [PATCH] add missing utf-8 header to many source files * src/sanity/style.test: Test for the missing header. * iface/ltsmin/check.test, src/kripketest/kripke.test, src/kripketest/parse_print_test.cc, src/ltlparse/fmterror.cc, src/ltltest/consterm.test, src/ltltest/kind.test, src/ltltest/length.test, src/ltltest/ltlfilt.test, src/ltltest/reduc.cc, src/ltltest/reduc.test, src/ltltest/reduc0.test, src/ltltest/reducpsl.test, src/ltltest/remove_x.test, src/ltltest/unabbrevwm.test, src/ltltest/utf8.test, src/ltltest/uwrm.test, src/ltlvisit/dump.cc, src/ltlvisit/remove_x.cc, src/misc/casts.hh, src/misc/fixpool.hh, src/misc/hashfunc.hh, src/misc/ltstr.hh, src/sanity/readme.test, src/taalgos/tgba2ta.cc, src/tgbaalgos/bfssteps.cc, src/tgbaalgos/stats.cc, src/tgbatest/acc.test, src/tgbatest/bitvect.test, src/tgbatest/complementation.test, src/tgbatest/cycles.test, src/tgbatest/degendet.test, src/tgbatest/dfs.test, src/tgbatest/dupexp.test, src/tgbatest/emptchkr.test, src/tgbatest/intvcomp.test, src/tgbatest/ltl2ta.test, src/tgbatest/ltl2ta2.test, src/tgbatest/ltlprod.test, src/tgbatest/maskacc.test, src/tgbatest/obligation.test, src/tgbatest/randpsl.test, src/tgbatest/readsat.cc, src/tgbatest/readsat.test, src/tgbatest/scc.test, src/tgbatest/sccsimpl.test, src/tgbatest/taatgba.test, src/tgbatest/tgbaread.test, src/tgbatest/tripprod.test, src/tgbatest/uniq.test, src/tgbatest/wdba.test: Add it. --- iface/ltsmin/check.test | 5 +++-- src/kripketest/kripke.test | 6 +++--- src/kripketest/parse_print_test.cc | 5 +++-- src/ltlparse/fmterror.cc | 9 +++++---- src/ltltest/consterm.test | 5 +++-- src/ltltest/kind.test | 5 +++-- src/ltltest/length.test | 3 ++- src/ltltest/ltlfilt.test | 5 +++-- src/ltltest/reduc.cc | 5 +++-- src/ltltest/reduc.test | 7 ++++--- src/ltltest/reduc0.test | 3 ++- src/ltltest/reducpsl.test | 5 +++-- src/ltltest/remove_x.test | 5 +++-- src/ltltest/unabbrevwm.test | 3 ++- src/ltltest/utf8.test | 5 +++-- src/ltltest/uwrm.test | 5 +++-- src/ltlvisit/dump.cc | 5 ++++- src/ltlvisit/remove_x.cc | 5 +++-- src/misc/casts.hh | 3 ++- src/misc/fixpool.hh | 5 +++-- src/misc/hashfunc.hh | 5 ++++- src/misc/ltstr.hh | 5 ++++- src/sanity/readme.test | 6 +++--- src/sanity/style.test | 3 +++ src/taalgos/tgba2ta.cc | 6 +++--- src/tgbaalgos/bfssteps.cc | 7 +++++-- src/tgbaalgos/stats.cc | 8 ++++---- src/tgbatest/acc.test | 5 +++-- src/tgbatest/bitvect.test | 3 ++- src/tgbatest/complementation.test | 3 ++- src/tgbatest/cycles.test | 5 +++-- src/tgbatest/degendet.test | 5 +++-- src/tgbatest/dfs.test | 9 +++++---- src/tgbatest/dupexp.test | 7 ++++--- src/tgbatest/emptchkr.test | 7 ++++--- src/tgbatest/intvcomp.test | 3 ++- src/tgbatest/ltl2ta.test | 5 +++-- src/tgbatest/ltl2ta2.test | 5 +++-- src/tgbatest/ltlprod.test | 5 +++-- src/tgbatest/maskacc.test | 5 +++-- src/tgbatest/obligation.test | 5 +++-- src/tgbatest/randpsl.test | 5 +++-- src/tgbatest/readsat.cc | 3 ++- src/tgbatest/readsat.test | 4 ++-- src/tgbatest/scc.test | 3 ++- src/tgbatest/sccsimpl.test | 5 +++-- src/tgbatest/taatgba.test | 3 ++- src/tgbatest/tgbaread.test | 7 ++++--- src/tgbatest/tripprod.test | 9 +++++---- src/tgbatest/uniq.test | 5 +++-- src/tgbatest/wdba.test | 5 +++-- 51 files changed, 158 insertions(+), 102 deletions(-) diff --git a/iface/ltsmin/check.test b/iface/ltsmin/check.test index 05ecf8855..2f89c8a1a 100755 --- a/iface/ltsmin/check.test +++ b/iface/ltsmin/check.test @@ -1,6 +1,7 @@ #!/bin/sh -# Copyright (C) 2011, 2012, 2014 Laboratoire de Recherche et Développement -# de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2011, 2012, 2014, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/kripketest/kripke.test b/src/kripketest/kripke.test index 17ac8a130..9879afc45 100755 --- a/src/kripketest/kripke.test +++ b/src/kripketest/kripke.test @@ -1,6 +1,7 @@ #! /bin/sh -# Copyright (C) 2011, 2012 Laboratoire de Recherche et Developpement -# de l'Epita (LRDE) +# -*- coding: utf-8 -*- +# Copyright (C) 2011, 2012, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE) # # This file is part of Spot, a model checking library. # @@ -69,4 +70,3 @@ s7, "a&a&a&!a", s42 s51 s69 s73 s42; EOF run2 input6 - diff --git a/src/kripketest/parse_print_test.cc b/src/kripketest/parse_print_test.cc index 5530bd51f..68165f3c8 100644 --- a/src/kripketest/parse_print_test.cc +++ b/src/kripketest/parse_print_test.cc @@ -1,5 +1,6 @@ -// Copyright (C) 2011, 2014 Laboratoire de Recherche et Developpement -// de l'Epita (LRDE) +// -*- coding: utf-8 -*- +// Copyright (C) 2011, 2014, 2015 Laboratoire de Recherche et +// Developpement de l'Epita (LRDE) // // This file is part of Spot, a model checking library. // diff --git a/src/ltlparse/fmterror.cc b/src/ltlparse/fmterror.cc index cafd7374e..406ce103d 100644 --- a/src/ltlparse/fmterror.cc +++ b/src/ltlparse/fmterror.cc @@ -1,8 +1,9 @@ -// Copyright (C) 2010, 2012, 2013 Laboratoire de Recherche et -// Développement de l'Epita (LRDE). +// -*- coding: utf-8 -*- +// Copyright (C) 2010, 2012, 2013, 2015 Laboratoire de Recherche et +// Développement de l'Epita (LRDE). // Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de Paris -// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -// Université Pierre et Marie Curie. +// 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +// Université Pierre et Marie Curie. // // This file is part of Spot, a model checking library. // diff --git a/src/ltltest/consterm.test b/src/ltltest/consterm.test index 13bbf7360..d1b840a8f 100755 --- a/src/ltltest/consterm.test +++ b/src/ltltest/consterm.test @@ -1,6 +1,7 @@ #! /bin/sh -# Copyright (C) 2010 Laboratoire de Recherche et Developement to -# l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2010, 2015 Laboratoire de Recherche et Devéloppement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/ltltest/kind.test b/src/ltltest/kind.test index 651a49623..241589971 100755 --- a/src/ltltest/kind.test +++ b/src/ltltest/kind.test @@ -1,6 +1,7 @@ #! /bin/sh -# Copyright (C) 2010, 2011, 2012 Laboratoire de Recherche et Developement to -# l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2010, 2011, 2012, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/ltltest/length.test b/src/ltltest/length.test index f7893c1da..443a11910 100755 --- a/src/ltltest/length.test +++ b/src/ltltest/length.test @@ -1,5 +1,6 @@ #! /bin/sh -# Copyright (C) 2012 Laboratoire de Recherche et Developpement +# -*- coding: utf-8 -*- +# Copyright (C) 2012, 2015 Laboratoire de Recherche et Développement # de l'Epita (LRDE). # # This file is part of Spot, a model checking library. diff --git a/src/ltltest/ltlfilt.test b/src/ltltest/ltlfilt.test index 455b2d1d9..5a057ba2f 100755 --- a/src/ltltest/ltlfilt.test +++ b/src/ltltest/ltlfilt.test @@ -1,6 +1,7 @@ #! /bin/sh -# Copyright (C) 2013, 2014 Laboratoire de Recherche et Developement to -# l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/ltltest/reduc.cc b/src/ltltest/reduc.cc index ad537f7fe..4ed52fc44 100644 --- a/src/ltltest/reduc.cc +++ b/src/ltltest/reduc.cc @@ -1,5 +1,6 @@ -// Copyright (C) 2008, 2009, 2010, 2011, 2012, 2014 Laboratoire de Recherche -// et Développement de l'Epita (LRDE). +// -*- coding: utf-8 -*_ +// Copyright (C) 2008, 2009, 2010, 2011, 2012, 2014, 2015 Laboratoire +// de Recherche et Développement de l'Epita (LRDE). // Copyright (C) 2004, 2006, 2007 Laboratoire d'Informatique de Paris // 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), // Université Pierre et Marie Curie. diff --git a/src/ltltest/reduc.test b/src/ltltest/reduc.test index a2d993d1b..d84e964cb 100755 --- a/src/ltltest/reduc.test +++ b/src/ltltest/reduc.test @@ -1,8 +1,9 @@ #! /bin/sh -# Copyright (C) 2009, 2010, 2012 Laboratoire de Recherche et -# Développement de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2009, 2010, 2012, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # Copyright (C) 2004, 2005, 2006 Laboratoire d'Informatique de Paris 6 -# (LIP6), département Systèmes Répartis Coopératifs (SRC), Université +# (LIP6), département Systèmes Répartis Coopératifs (SRC), Université # Pierre et Marie Curie. # # This file is part of Spot, a model checking library. diff --git a/src/ltltest/reduc0.test b/src/ltltest/reduc0.test index 296d03e0d..2a3c9e456 100755 --- a/src/ltltest/reduc0.test +++ b/src/ltltest/reduc0.test @@ -1,5 +1,6 @@ #! /bin/sh -# Copyright (C) 2013, 2014 Laboratoire de Recherche et +# -*- coding: utf-8 -*- +# Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et # Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. diff --git a/src/ltltest/reducpsl.test b/src/ltltest/reducpsl.test index 90cee07d1..1f841068f 100755 --- a/src/ltltest/reducpsl.test +++ b/src/ltltest/reducpsl.test @@ -1,6 +1,7 @@ #! /bin/sh -# Copyright (C) 2011, 2012 Laboratoire de Recherche et Développement de -# l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2011, 2012, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/ltltest/remove_x.test b/src/ltltest/remove_x.test index c4fb448a6..ce2024c28 100755 --- a/src/ltltest/remove_x.test +++ b/src/ltltest/remove_x.test @@ -1,6 +1,7 @@ #! /bin/sh -# Copyright (C) 2013, 2014 Laboratoire de Recherche et Developement to -# l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/ltltest/unabbrevwm.test b/src/ltltest/unabbrevwm.test index cfb61a5ef..05e75078e 100755 --- a/src/ltltest/unabbrevwm.test +++ b/src/ltltest/unabbrevwm.test @@ -1,5 +1,6 @@ #! /bin/sh -# Copyright (C) 2012 Laboratoire de Recherche et Développement +# -*- coding: utf-8 -*- +# Copyright (C) 2012, 2015 Laboratoire de Recherche et Développement # de l'Epita (LRDE). # # This file is part of Spot, a model checking library. diff --git a/src/ltltest/utf8.test b/src/ltltest/utf8.test index 61ac58ea8..5cc440e5b 100755 --- a/src/ltltest/utf8.test +++ b/src/ltltest/utf8.test @@ -1,6 +1,7 @@ #! /bin/sh -# Copyright (C) 2012, 2013 Laboratoire de Recherche et Developpement -# de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2012, 2013, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/ltltest/uwrm.test b/src/ltltest/uwrm.test index c18e0dc32..28a8e2764 100755 --- a/src/ltltest/uwrm.test +++ b/src/ltltest/uwrm.test @@ -1,6 +1,7 @@ #! /bin/sh -# Copyright (C) 2012, 2014 Laboratoire de Recherche et Developpement -# de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2012, 2014, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/ltlvisit/dump.cc b/src/ltlvisit/dump.cc index 92cb8f6e4..24e67e37a 100644 --- a/src/ltlvisit/dump.cc +++ b/src/ltlvisit/dump.cc @@ -1,5 +1,8 @@ +// -*- coding: utf-8 -*- +// Copyright (C) 2015 Laboratoire de Recherche et Développement de +// l'Epita (LRDE). // Copyright (C) 2003, 2004, 2005 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. // // This file is part of Spot, a model checking library. diff --git a/src/ltlvisit/remove_x.cc b/src/ltlvisit/remove_x.cc index f186e3c0c..6b1c6221c 100644 --- a/src/ltlvisit/remove_x.cc +++ b/src/ltlvisit/remove_x.cc @@ -1,5 +1,6 @@ -// Copyright (C) 2013, 2014 Laboratoire de Recherche et Developpement de -// l'Epita (LRDE). +// -*- coding: utf-8 -*- +// Copyright (C) 2013, 2014, 2015 Laboratoire de Recherche et +// Développement de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/misc/casts.hh b/src/misc/casts.hh index 32a6a4bd4..ec251cac2 100644 --- a/src/misc/casts.hh +++ b/src/misc/casts.hh @@ -1,4 +1,5 @@ -// Copyright (C) 2011 Laboratoire de Recherche et Développement +// -*- coding: utf-8 -*- +// Copyright (C) 2011, 2015 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // // This file is part of Spot, a model checking library. diff --git a/src/misc/fixpool.hh b/src/misc/fixpool.hh index 46aefe1ce..98e320528 100644 --- a/src/misc/fixpool.hh +++ b/src/misc/fixpool.hh @@ -1,5 +1,6 @@ -// Copyright (C) 2011 Laboratoire de Recherche et Developpement de -// l'Epita (LRDE) +// -*- coding: utf-8 -*- +// Copyright (C) 2011, 2015 Laboratoire de Recherche et Développement +// de l'Epita (LRDE) // // This file is part of Spot, a model checking library. // diff --git a/src/misc/hashfunc.hh b/src/misc/hashfunc.hh index 2af45cfe0..d6a84fd30 100644 --- a/src/misc/hashfunc.hh +++ b/src/misc/hashfunc.hh @@ -1,5 +1,8 @@ +// -*- coding: utf-8 -*- +// Copyright (C) 2015 Laboratoire de Recherche et Développement +// de l'Epita (LRDE) // Copyright (C) 2004, 2005 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. // // This file is part of Spot, a model checking library. diff --git a/src/misc/ltstr.hh b/src/misc/ltstr.hh index d56e4b639..ac5b40ae3 100644 --- a/src/misc/ltstr.hh +++ b/src/misc/ltstr.hh @@ -1,5 +1,8 @@ +// -*- coding: utf-8 -*- +// Copyright (C) 2015 Laboratoire de Recherche et Développement +// de l'Epita (LRDE) // Copyright (C) 2005 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. // // This file is part of Spot, a model checking library. diff --git a/src/sanity/readme.test b/src/sanity/readme.test index 041141799..226c2db44 100755 --- a/src/sanity/readme.test +++ b/src/sanity/readme.test @@ -1,8 +1,8 @@ #! /usr/bin/perl -w -# -*- cperl -*- +# -*- cperl; coding: utf-8 -*- # -# Copyright (C) 2010 Laboratoire de Recherche et Développement de -# l'Epita (LRDE). +# Copyright (C) 2010, 2015 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/sanity/style.test b/src/sanity/style.test index 652457382..5aa9253ac 100755 --- a/src/sanity/style.test +++ b/src/sanity/style.test @@ -82,6 +82,9 @@ for dir in "${INCDIR-..}" "${INCDIR-..}"/../iface; do $GREP -i 'Temple Place' $file && diag 'license text should give a url instead of an address' + $GREP -q 'coding: utf-8' $file || + diag 'missing -*- coding: utf-8 -*-' + $GREP Copyright $file >/dev/null || diag "missing copyright" diff --git a/src/taalgos/tgba2ta.cc b/src/taalgos/tgba2ta.cc index cd4cedf97..55736520d 100644 --- a/src/taalgos/tgba2ta.cc +++ b/src/taalgos/tgba2ta.cc @@ -1,6 +1,6 @@ -// -*- coding utf-8 -*- -// Copyright (C) 2010, 2011, 2012, 2013, 2014 Laboratoire de Recherche -// et Développement de l'Epita (LRDE). +// -*- coding: utf-8 -*- +// Copyright (C) 2010, 2011, 2012, 2013, 2014, 2015 Laboratoire de +// Recherche et Développement de l'Epita (LRDE). // // This file is part of Spot, a model checking library. // diff --git a/src/tgbaalgos/bfssteps.cc b/src/tgbaalgos/bfssteps.cc index 3cbe75864..0bd40fc7b 100644 --- a/src/tgbaalgos/bfssteps.cc +++ b/src/tgbaalgos/bfssteps.cc @@ -1,5 +1,8 @@ -// Copyright (C) 2004, 2014 Laboratoire d'Informatique de Paris 6 (LIP6), -// département Systèmes Répartis Coopératifs (SRC), Université Pierre +// -*- coding: utf-8 -*- +// Copyright (C) 2014, 2015 Laboratoire de Recherche et Développement +// de l'Epita (LRDE) +// Copyright (C) 2004 Laboratoire d'Informatique de Paris 6 (LIP6), +// département Systèmes Répartis Coopératifs (SRC), Université Pierre // et Marie Curie. // // This file is part of Spot, a model checking library. diff --git a/src/tgbaalgos/stats.cc b/src/tgbaalgos/stats.cc index 6247a3dfd..bc1d57dc8 100644 --- a/src/tgbaalgos/stats.cc +++ b/src/tgbaalgos/stats.cc @@ -1,8 +1,8 @@ -// -*- coding utf-8 -*- -// Copyright (C) 2008, 2011, 2012, 2013, 2014 Laboratoire de Recherche -// et Développement de l'Epita (LRDE). +// -*- coding: utf-8 -*- +// Copyright (C) 2008, 2011, 2012, 2013, 2014, 2015 Laboratoire de +// Recherche et Développement de l'Epita (LRDE). // Copyright (C) 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. // // This file is part of Spot, a model checking library. diff --git a/src/tgbatest/acc.test b/src/tgbatest/acc.test index 7e839121c..96df71f8c 100755 --- a/src/tgbatest/acc.test +++ b/src/tgbatest/acc.test @@ -1,6 +1,7 @@ #!/bin/sh -# Copyright (C) 2014 Laboratoire de Recherche et Développement de -# l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2014, 2015 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/bitvect.test b/src/tgbatest/bitvect.test index 09534ca95..8ed8ead6f 100755 --- a/src/tgbatest/bitvect.test +++ b/src/tgbatest/bitvect.test @@ -1,5 +1,6 @@ #!/bin/sh -# Copyright (C) 2013 Laboratoire de Recherche et Développement +# -*- coding: utf-8 -*- +# Copyright (C) 2013, 2015 Laboratoire de Recherche et Développement # de l'Epita (LRDE). # # This file is part of Spot, a model checking library. diff --git a/src/tgbatest/complementation.test b/src/tgbatest/complementation.test index f48053fc8..898785f90 100755 --- a/src/tgbatest/complementation.test +++ b/src/tgbatest/complementation.test @@ -1,5 +1,6 @@ #!/bin/sh -# Copyright (C) 2009, 2011, 2014 Laboratoire de Recherche et +# -*- coding: utf-8 -*- +# Copyright (C) 2009, 2011, 2014, 2015 Laboratoire de Recherche et # Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. diff --git a/src/tgbatest/cycles.test b/src/tgbatest/cycles.test index d14655695..583073c42 100755 --- a/src/tgbatest/cycles.test +++ b/src/tgbatest/cycles.test @@ -1,6 +1,7 @@ #!/bin/sh -# Copyright (C) 2012, 2014 Laboratoire de Recherche et Développement -# de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2012, 2014, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/degendet.test b/src/tgbatest/degendet.test index fc4c6f136..aa5acfea8 100755 --- a/src/tgbatest/degendet.test +++ b/src/tgbatest/degendet.test @@ -1,5 +1,6 @@ #!/bin/sh -# Copyright (C) 2011 Laboratoire de Recherche et Développement +# -*- coding: utf-8 -*- +# Copyright (C) 2011, 2015 Laboratoire de Recherche et Développement # de l'Epita (LRDE). # # This file is part of Spot, a model checking library. @@ -22,7 +23,7 @@ set -e -# The following command, reported by Tomáš Babiak, used to output many +# The following command, reported by Tomáš Babiak, used to output many # different automata, because state addresses were used to order the # successors in the degeneralization. diff --git a/src/tgbatest/dfs.test b/src/tgbatest/dfs.test index 5dc409163..c36141791 100755 --- a/src/tgbatest/dfs.test +++ b/src/tgbatest/dfs.test @@ -1,9 +1,10 @@ #!/bin/sh -# Copyright (C) 2009, 2010 Laboratoire de Recherche et Développement -# de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2009, 2010, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de -# Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -# Université Pierre et Marie Curie. +# Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +# Université Pierre et Marie Curie. # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/dupexp.test b/src/tgbatest/dupexp.test index f2a4a9f87..a32a0ec8d 100755 --- a/src/tgbatest/dupexp.test +++ b/src/tgbatest/dupexp.test @@ -1,8 +1,9 @@ #!/bin/sh -# Copyright (C) 2009, 2014 Laboratoire de Recherche et Développement -# de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2009, 2014, 2015 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 +# département Systèmes Répartis Coopératifs (SRC), Université Pierre # et Marie Curie. # # This file is part of Spot, a model checking library. diff --git a/src/tgbatest/emptchkr.test b/src/tgbatest/emptchkr.test index b70bc3ff8..b3604646e 100755 --- a/src/tgbatest/emptchkr.test +++ b/src/tgbatest/emptchkr.test @@ -1,9 +1,10 @@ #!/bin/sh +# -*- coding: utf-8 -*- +# Copyright (C) 2009, 2010, 2015 Laboratoire de Recherche de +# Développement de l'Epita (LRDE). # Copyright (C) 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. -# Copyright (C) 2009, 2010 Laboratoire de Recherche de Développement de -# l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/intvcomp.test b/src/tgbatest/intvcomp.test index 9a529a003..97e3cc36b 100755 --- a/src/tgbatest/intvcomp.test +++ b/src/tgbatest/intvcomp.test @@ -1,5 +1,6 @@ #!/bin/sh -# Copyright (C) 2011 Laboratoire de Recherche et Développement +# -*- coding: utf-8 -*- +# Copyright (C) 2011, 2015 Laboratoire de Recherche et Développement # de l'Epita (LRDE). # # This file is part of Spot, a model checking library. diff --git a/src/tgbatest/ltl2ta.test b/src/tgbatest/ltl2ta.test index 700f1282b..63e9e7fc2 100755 --- a/src/tgbatest/ltl2ta.test +++ b/src/tgbatest/ltl2ta.test @@ -1,6 +1,7 @@ #!/bin/sh -# Copyright (C) 2010, 2011, 2012, 2013, 2014 Laboratoire de Recherche et -# Développement de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2010, 2011, 2012, 2013, 2014, 2015 Laboratoire de +# Recherche et Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/ltl2ta2.test b/src/tgbatest/ltl2ta2.test index eed0c9739..b4fc67762 100755 --- a/src/tgbatest/ltl2ta2.test +++ b/src/tgbatest/ltl2ta2.test @@ -1,6 +1,7 @@ #!/bin/sh -# Copyright (C) 2014 Laboratoire de Recherche et Développement de -# l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2014, 2015 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/ltlprod.test b/src/tgbatest/ltlprod.test index 2ba8df9ef..21e286619 100755 --- a/src/tgbatest/ltlprod.test +++ b/src/tgbatest/ltlprod.test @@ -1,8 +1,9 @@ #!/bin/sh -# Copyright (C) 2009 Laboratoire de Recherche et Développement +# -*- coding: utf-8 -*- +# Copyright (C) 2009, 2015 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 +# département Systèmes Répartis Coopératifs (SRC), Université Pierre # et Marie Curie. # # This file is part of Spot, a model checking library. diff --git a/src/tgbatest/maskacc.test b/src/tgbatest/maskacc.test index be18cad10..01a65365a 100755 --- a/src/tgbatest/maskacc.test +++ b/src/tgbatest/maskacc.test @@ -1,6 +1,7 @@ #!/bin/sh -# Copyright (C) 2014 Laboratoire de Recherche et Développement de -# l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2014, 2015 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/obligation.test b/src/tgbatest/obligation.test index a4751e8da..ad7cb614a 100755 --- a/src/tgbatest/obligation.test +++ b/src/tgbatest/obligation.test @@ -1,6 +1,7 @@ #!/bin/sh -# Copyright (C) 2010, 2011 Laboratoire de Recherche et Développement -# de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2010, 2011, 2014, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/randpsl.test b/src/tgbatest/randpsl.test index d95379685..41821a635 100755 --- a/src/tgbatest/randpsl.test +++ b/src/tgbatest/randpsl.test @@ -1,6 +1,7 @@ #!/bin/sh -# Copyright (C) 2011, 2012, 2014 Laboratoire de Recherche et Développement -# de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2011, 2012, 2014, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/readsat.cc b/src/tgbatest/readsat.cc index 1395a94e5..1559396bc 100644 --- a/src/tgbatest/readsat.cc +++ b/src/tgbatest/readsat.cc @@ -1,4 +1,5 @@ -// Copyright (C) 2013 Laboratoire de Recherche et Développement +// -*- coding: utf-8 -*- +// Copyright (C) 2013, 2015 Laboratoire de Recherche et Développement // de l'Epita (LRDE). // // This file is part of Spot, a model checking library. diff --git a/src/tgbatest/readsat.test b/src/tgbatest/readsat.test index 834ee380a..90672caf1 100755 --- a/src/tgbatest/readsat.test +++ b/src/tgbatest/readsat.test @@ -1,7 +1,7 @@ #!/bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2013 Laboratoire de Recherche et -# Développement de l'Epita (LRDE). +# Copyright (C) 2013, 2015 Laboratoire de Recherche et Développement +# de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/scc.test b/src/tgbatest/scc.test index dac341b08..3fe384f9e 100755 --- a/src/tgbatest/scc.test +++ b/src/tgbatest/scc.test @@ -1,5 +1,6 @@ #!/bin/sh -# Copyright (C) 2009 Laboratoire de Recherche et Developpement de +# -*- coding: utf-8 -*- +# Copyright (C) 2009, 2015 Laboratoire de Recherche et Developpement de # l'Epita # # This file is part of Spot, a model checking library. diff --git a/src/tgbatest/sccsimpl.test b/src/tgbatest/sccsimpl.test index 725ab0211..cf1730ab0 100755 --- a/src/tgbatest/sccsimpl.test +++ b/src/tgbatest/sccsimpl.test @@ -1,6 +1,7 @@ #!/bin/sh -# Copyright (C) 2011, 2013 Laboratoire de Recherche et Developpement -# de l'Epita +# -*- coding: utf-8 -*- +# Copyright (C) 2011, 2013, 2015 Laboratoire de Recherche et +# Développement de l'Epita # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/taatgba.test b/src/tgbatest/taatgba.test index 27d738f32..d9b029f70 100755 --- a/src/tgbatest/taatgba.test +++ b/src/tgbatest/taatgba.test @@ -1,5 +1,6 @@ #!/bin/sh -# Copyright (C) 2009 Laboratoire de Recherche et Développement +# -*- coding: utf-8 -*- +# Copyright (C) 2009, 2015 Laboratoire de Recherche et Développement # de l'Epita (LRDE). # # This file is part of Spot, a model checking library. diff --git a/src/tgbatest/tgbaread.test b/src/tgbatest/tgbaread.test index c77a0653f..d34dd0723 100755 --- a/src/tgbatest/tgbaread.test +++ b/src/tgbatest/tgbaread.test @@ -1,8 +1,9 @@ #!/bin/sh -# Copyright (C) 2009, 2014 Laboratoire de Recherche et Développement -# de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2009, 2014, 2015 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 +# département Systèmes Répartis Coopératifs (SRC), Université Pierre # et Marie Curie. # # This file is part of Spot, a model checking library. diff --git a/src/tgbatest/tripprod.test b/src/tgbatest/tripprod.test index dc49ec618..4d59ed2f1 100755 --- a/src/tgbatest/tripprod.test +++ b/src/tgbatest/tripprod.test @@ -1,9 +1,10 @@ #!/bin/sh -# Copyright (C) 2008, 2009, 2013, 2014 Laboratoire de Recherche et -# Développement de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2008, 2009, 2013, 2014, 2015 Laboratoire de Recherche +# et Développement de l'Epita (LRDE). # Copyright (C) 2003, 2004, 2005 Laboratoire d'Informatique de -# Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), -# Université Pierre et Marie Curie. +# Paris 6 (LIP6), département Systèmes Répartis Coopératifs (SRC), +# Université Pierre et Marie Curie. # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/uniq.test b/src/tgbatest/uniq.test index 779feb5fc..685a938a9 100755 --- a/src/tgbatest/uniq.test +++ b/src/tgbatest/uniq.test @@ -1,6 +1,7 @@ #!/bin/sh -# Copyright (C) 2012, 2014 Laboratoire de Recherche et Développement -# de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2012, 2014, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # diff --git a/src/tgbatest/wdba.test b/src/tgbatest/wdba.test index 35012f5aa..d340a2183 100755 --- a/src/tgbatest/wdba.test +++ b/src/tgbatest/wdba.test @@ -1,6 +1,7 @@ #!/bin/sh -# Copyright (C) 2010, 2014 Laboratoire de Recherche et Développement -# de l'Epita (LRDE). +# -*- coding: utf-8 -*- +# Copyright (C) 2010, 2014, 2015 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. #