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

tests: use $PERL instead of perl

Browse source 
* tests/core/ltl2tgba2.test, tests/core/ltldo.test,
tests/core/ltlfilt.test, tests/core/neverclaimread.test,
tests/core/parseaut.test, tests/sanity/bin.test: Here.
This commit is contained in:
Alexandre Duret-Lutz 2020-09-23 11:06:03 +02:00
parent 3a6d967872
commit b0730852bf
6 changed files with 10 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/core/ltlfilt.test
View file

@ -1,6 +1,6 @@
#! /bin/sh
# -*- coding: utf-8 -*-
# Copyright (C) 2013-2019 Laboratoire de Recherche et Développement de
# Copyright (C) 2013-2020 Laboratoire de Recherche et Développement de
# l'Epita (LRDE).
#
# This file is part of Spot, a model checking library.
@ -475,7 +475,7 @@ run 0 ltlfilt -p --wring -u --nnf --relabel=pnn --define in >out
diff exp out
run 0 ltlfilt -0 in > out
perl -i -pe 's/\0/@\n/g' out
$PERL -i -pe 's/\0/@\n/g' out
cat >exp <<EOF
a & c & Xb@
a & b & GF(a | c) & FG(a | c)@