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

work around BSD sed not interpreting \r in s/$/\r/

Browse source 
* src/kripketest/bad_parsing.test, src/tgbatest/neverclaimread.test,
src/tgbatest/readsave.test, src/tgbatest/hoaparse.test: Use Perl for the
unix2dos conversion.
This commit is contained in:
Alexandre Duret-Lutz 2014-12-05 10:25:33 +01:00
parent a0d9268fda
commit 88da1ad84d
4 changed files with 6 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/tgbatest/readsave.test
View file

@ -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