spurious failure of core/ltlsynt2.test when Python is not installed
When Python is not installed, core/ltlsynt2.test
fails as follows:
FAIL: core/ltlsynt2.test
========================
+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo == Running test ltlsynt2.test
== Running test ltlsynt2.test
+ echo ltlsynt2.test
+ sed -e s,.*[\/],,;s/\.test$//
+ me=ltlsynt2
+ testSubDir=ltlsynt2.dir
+ chmod -R a+rwx ltlsynt2.dir
+ rm -rf ltlsynt2.dir
+ mkdir ltlsynt2.dir
+ cd ltlsynt2.dir
+ srcdir=../.
+ AWK=mawk
+ DOT=
+ LBTT=
+ LBTT_TRANSLATE=
+ VALGRIND=
+ SPIN=
+ LTL2BA=
+ PYTHON=
+ top_srcdir=/home/esti/Downloads/spot-2.11.3
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ cat
+ ltlsynt --ins=i1,i2 -F formulas.ltl -f o1 & F(i1 <-> o2) -q --csv=out.csv
REALIZABLE
REALIZABLE
REALIZABLE
UNREALIZABLE
REALIZABLE
+ test 1 -eq 1
+ cat
+ test.py
ltlsynt2.test: 54: ltlsynt2.test: test.py: not found
FAIL core/ltlsynt2.test (exit status: 127)