diff --git a/src/kripketest/bad_parsing.test b/src/kripketest/bad_parsing.test index 1e5ca5541..490e75203 100755 --- a/src/kripketest/bad_parsing.test +++ b/src/kripketest/bad_parsing.test @@ -68,8 +68,7 @@ cat output | grep -v + > res diff expected res # The diagnostic should be the same with DOS return lines -sed 's/$/\r/' input > input.dos -mv input.dos input +perl -pi -e 's/$/\r/' input run 1 ../parse_print input 2> output cat output | grep -v + > res diff expected res diff --git a/src/tgbatest/hoaparse.test b/src/tgbatest/hoaparse.test index f25e26d1b..958227236 100755 --- a/src/tgbatest/hoaparse.test +++ b/src/tgbatest/hoaparse.test @@ -453,8 +453,7 @@ input:8.1-16.12: aborted input automaton EOF # DOS-style new lines should have the same output. -sed 's/$/\r/g' input > input.dos -mv input.dos input +perl -pi -e 's/$/\r/' input ../../bin/autfilt --hoa input 2>stderr && exit 1 cat stderr diff stderr input.exp @@ -669,8 +668,7 @@ EOF diff expected input.out # DOS-style new lines should have the same output. -sed 's/$/\r/g' input > input.dos -mv input.dos input +perl -pe -e 's/$/\r/' input ../../bin/autfilt --hoa input 2>stderr && exit 1 cat stderr diff stderr input.exp diff --git a/src/tgbatest/neverclaimread.test b/src/tgbatest/neverclaimread.test index 408bb28ef..189855a4c 100755 --- a/src/tgbatest/neverclaimread.test +++ b/src/tgbatest/neverclaimread.test @@ -293,8 +293,7 @@ grep input: stderr > stderrfilt diff stderrfilt expected-err # DOS-style new lines should have the same output. -sed 's/$/\r/g' input > input.dos -mv input.dos input +perl -pi -e 's/$/\r/' input run 2 ../ltl2tgba -ks -XN input > stdout 2>stderr cat stderr grep input: stderr > stderrfilt diff --git a/src/tgbatest/readsave.test b/src/tgbatest/readsave.test index 16615cf66..14311b65e 100755 --- a/src/tgbatest/readsave.test +++ b/src/tgbatest/readsave.test @@ -3,7 +3,7 @@ # 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 +# département Systèmes Répartis Coopératifs (SRC), Université Pierre # et Marie Curie. # # This file is part of Spot, a model checking library. @@ -123,8 +123,7 @@ EOF diff stderrfilt expected # The diagnostic should be the same with DOS input -sed 's/$/\r/' input > input.dos -mv input.dos input +perl -pi -e 's/$/\r/' input run 2 ../ltl2tgba -b -X input > stdout 2>stderr cat stderr grep input: stderr > stderrfilt