diff --git a/ChangeLog.1 b/ChangeLog.1 index 178c4050e..92474b480 100644 --- a/ChangeLog.1 +++ b/ChangeLog.1 @@ -7390,7 +7390,7 @@ * src/ltlvisit/reducform.cc (reduce_form_visitor): Rename as ... (reduce_visitor): ... this. * src/ltltest/inf.cc: Adjust calls. - * src/sanity/style.test: Improve missing-space after coma detection. + * src/sanity/style.test: Improve missing-space after comma detection. 2004-05-26 Alexandre Duret-Lutz diff --git a/tests/core/autcross3.test b/tests/core/autcross3.test index 9afc50fe8..2062d7faf 100755 --- a/tests/core/autcross3.test +++ b/tests/core/autcross3.test @@ -1,6 +1,6 @@ #!/bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2017 Laboratoire de Recherche et Développement de +# Copyright (C) 2017, 2021 Laboratoire de Recherche et Développement de # l'Epita (LRDE). # # This file is part of Spot, a model checking library. @@ -24,7 +24,7 @@ set -e check_csv() { - # Make sure all lines in $1 have the same number of comas + # Make sure all lines in $1 have the same number of commas sed 's/[^,]//g' < "$1" | ( read first while read l; do diff --git a/tests/core/ltl3ba.test b/tests/core/ltl3ba.test index 105a34b7b..fdcebc926 100755 --- a/tests/core/ltl3ba.test +++ b/tests/core/ltl3ba.test @@ -1,7 +1,7 @@ #!/bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2016, 2017, 2018 Laboratoire de Recherche et Développement -# de l'Epita (LRDE). +# Copyright (C) 2016-2018, 2021 Laboratoire de Recherche et +# Développement de l'Epita (LRDE). # # This file is part of Spot, a model checking library. # @@ -52,7 +52,7 @@ EOF grep _x output.csv && exit 1 -# Make sure all lines in output.csv have the same number of comas +# Make sure all lines in output.csv have the same number of commas sed 's/[^,]//g' GF(!b&XXb)' --csv='>>FILE' || : ltlsynt --algo=lar.old $opts 'FGa <-> GF(c&a)' --csv='>>FILE' || : test 6 = `wc -l < FILE` - # Make sure all lines in FILE have the same number of comas + # Make sure all lines in FILE have the same number of commas sed 's/[^,]//g' < FILE | ( read first while read l; do diff --git a/tests/sanity/style.test b/tests/sanity/style.test index ce33c63ac..59c2f5c31 100755 --- a/tests/sanity/style.test +++ b/tests/sanity/style.test @@ -1,6 +1,6 @@ #! /bin/sh # -*- coding: utf-8 -*- -# Copyright (C) 2009-2020 Laboratoire de Recherche et Développement de +# Copyright (C) 2009-2021 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é @@ -207,7 +207,7 @@ for dir in "$TOP/spot" "$TOP/bin" "$TOP/tests"; do diag 'No space after unary operators (!).' $GREP ",[^ \" %'\\\\]" $tmp && - diag 'Space after coma.' + diag 'Space after comma.' # The 'r' allows operator&& # The '.' allows &&...