=======================================
   spot 2.16.1: tests/test-suite.log
=======================================

# TOTAL: 218
# PASS:  187
# SKIP:  21
# XFAIL: 0
# FAIL:  10
# XPASS: 0
# ERROR: 0

System information (uname -a): FreeBSD 15.1-STABLE FreeBSD 15.1-STABLE stable/15-n285452-39cc57ad6951 GENERIC
Distribution information (/etc/os-release):
NAME=FreeBSD
VERSION="15.1-STABLE"
VERSION_ID="15.1"
ID=freebsd
ANSI_COLOR="0;31"
PRETTY_NAME="FreeBSD 15.1-STABLE"
CPE_NAME="cpe:/o:freebsd:freebsd:15.1"
HOME_URL="https://FreeBSD.org/"

.. contents:: :depth: 2

FAIL: core/ltlcrossgrind.test
=============================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltlcrossgrind.test'
== Running test ltlcrossgrind.test
+ echo ltlcrossgrind.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltlcrossgrind
+ testSubDir=ltlcrossgrind.dir
+ chmod -R a+rwx ltlcrossgrind.dir
+ rm -rf ltlcrossgrind.dir
+ mkdir ltlcrossgrind.dir
+ cd ltlcrossgrind.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ cat
+ chmod +x fake
+ run 1 ltlcross -f 'p0 U p1' './fake %f >%N' 'ltl2tgba -s -f %f >%N' '--grind=bogus.grind'
+ expected_exitcode=1
+ shift
+ exitcode=0
+ test -n valgrind
+ command -v ltlcross
+ cmd=/usr/ports/math/spot/work/spot-2.16.1/bin/ltlcross
+ shift
+ test -n /usr/ports/math/spot/work/spot-2.16.1/bin/ltlcross
+ set /usr/ports/math/spot/work/spot-2.16.1/bin/ltlcross -f 'p0 U p1' './fake %f >%N' 'ltl2tgba -s -f %f >%N' '--grind=bogus.grind'
+ exec
+ GLIBCXX_FORCE_NEW=1 /usr/ports/math/spot/work/spot-2.16.1/libtool '--mode=execute' valgrind '--tool=memcheck' '--leak-check=yes' '--log-fd=6' -q /usr/ports/math/spot/work/spot-2.16.1/bin/ltlcross -f 'p0 U p1' './fake %f >%N' 'ltl2tgba -s -f %f >%N' '--grind=bogus.grind'
(p0) U (p1)
Running [P0]: ./fake '(p0) U (p1)' >'lcr-o0-xBUjKs'
Running [P1]: ltl2tgba -s -f '(p0) U (p1)' >'lcr-o1-d0J1qN'
Running [N0]: ./fake '!((p0) U (p1))' >'lcr-o0-22Bk7Y'
Running [N1]: ltl2tgba -s -f '!((p0) U (p1))' >'lcr-o1-DNAu5P'
Performing sanity checks and gathering statistics...
error: P1*N0 is nonempty; both automata accept the infinite word:
       p0 & !p1; cycle{p1}

Trying to find a bogus mutation of p0 U p1...
Mutation 1/6: 0
Running [P0]: ./fake '0' >'lcr-o0-OAEz5l'
Running [P1]: ltl2tgba -s -f '0' >'lcr-o1-PsbUir'
Running [N0]: ./fake '1' >'lcr-o0-jwM9Db'
Running [N1]: ltl2tgba -s -f '1' >'lcr-o1-aD5pzV'
Performing sanity checks and gathering statistics...

Mutation 2/6: 1
warning: This formula or its negation has already been checked.
         Use --allow-dups if it should not be ignored.

Mutation 3/6: p0
Running [P0]: ./fake 'p0' >'lcr-o0-I3d4lC'
Running [P1]: ltl2tgba -s -f 'p0' >'lcr-o1-Q9h473'
Running [N0]: ./fake '!(p0)' >'lcr-o0-sBAiXh'
Running [N1]: ltl2tgba -s -f '!(p0)' >'lcr-o1-uF47k5'
Performing sanity checks and gathering statistics...
error: P0*N1 is nonempty; both automata accept the infinite word:
       cycle{!p0 & p1}
error: P1*N0 is nonempty; both automata accept the infinite word:
       cycle{p0 & !p1}

Trying to find a bogus mutation of p0...
Mutation 1/2: 0
warning: This formula or its negation has already been checked.
         Use --allow-dups if it should not be ignored.

Mutation 2/2: 1
warning: This formula or its negation has already been checked.
         Use --allow-dups if it should not be ignored.

Smallest bogus mutation found for p0 U p1 is p0.

error: some error was detected during the above runs,
       please search for 'error:' messages in the above trace.
+ exitcode=1
+ cat valgrind.err
==30274== warning: rfork() not implemented
==30274== warning: rfork() not implemented
==30274== warning: rfork() not implemented
==30274== warning: rfork() not implemented
==30274== warning: rfork() not implemented
==30274== warning: rfork() not implemented
==30274== warning: rfork() not implemented
==30274== warning: rfork() not implemented
==30274== warning: rfork() not implemented
==30274== warning: rfork() not implemented
==30274== warning: rfork() not implemented
==30274== warning: rfork() not implemented
+ sed 1q valgrind.err
+ test -z '==30274== warning: rfork() not implemented'
+ exit 50
FAIL core/ltlcrossgrind.test (exit status: 50)

SKIP: core/mempool.test
=======================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test mempool.test'
== Running test mempool.test
+ echo mempool.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=mempool
+ testSubDir=mempool.dir
+ chmod -R a+rwx mempool.dir
+ rm -rf mempool.dir
+ mkdir mempool.dir
+ cd mempool.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ cat
+ test -n valgrind
+ /usr/ports/math/spot/work/spot-2.16.1/libtool '--mode=execute' valgrind '--tool=memcheck' '--leak-check=yes' ../mempool
SKIP core/mempool.test (exit status: 77)

FAIL: core/ltlcross3.test
=========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltlcross3.test'
== Running test ltlcross3.test
+ echo ltlcross3.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltlcross3
+ testSubDir=ltlcross3.dir
+ chmod -R a+rwx ltlcross3.dir
+ rm -rf ltlcross3.dir
+ mkdir ltlcross3.dir
+ cd ltlcross3.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ cat
+ run 0 ltlcross -F formula '--csv=out.csv' 'ltl2tgba -s %f >%N' 'ltl2tgba --lenient -s %s >%N' --verbose
FAIL core/ltlcross3.test (exit status: 50)

FAIL: core/ltldo.test
=====================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltldo.test'
== Running test ltldo.test
+ echo ltldo.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltldo
+ testSubDir=ltldo.dir
+ chmod -R a+rwx ltldo.dir
+ rm -rf ltldo.dir
+ mkdir ltldo.dir
+ cd ltldo.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ run 0 ltldo -f a -f 'a&b' -f 'a -> b' -t 'echo %f,%s,%[ei]w'
+ expected_exitcode=0
+ shift
+ exitcode=0
+ test -n valgrind
+ command -v ltldo
+ cmd=/usr/ports/math/spot/work/spot-2.16.1/bin/ltldo
+ shift
+ test -n /usr/ports/math/spot/work/spot-2.16.1/bin/ltldo
+ set /usr/ports/math/spot/work/spot-2.16.1/bin/ltldo -f a -f 'a&b' -f 'a -> b' -t 'echo %f,%s,%[ei]w'
+ exec
+ GLIBCXX_FORCE_NEW=1 /usr/ports/math/spot/work/spot-2.16.1/libtool '--mode=execute' valgrind '--tool=memcheck' '--leak-check=yes' '--log-fd=6' -q /usr/ports/math/spot/work/spot-2.16.1/bin/ltldo -f a -f 'a&b' -f 'a -> b' -t 'echo %f,%s,%[ei]w'
+ cat valgrind.err
==91491== warning: rfork() not implemented
==91491== warning: rfork() not implemented
==91491== warning: rfork() not implemented
+ sed 1q valgrind.err
+ test -z '==91491== warning: rfork() not implemented'
+ exit 50
FAIL core/ltldo.test (exit status: 50)

SKIP: core/ltldo2.test
======================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltldo2.test'
== Running test ltldo2.test
+ echo ltldo2.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltldo2
+ testSubDir=ltldo2.dir
+ chmod -R a+rwx ltldo2.dir
+ rm -rf ltldo2.dir
+ mkdir ltldo2.dir
+ cd ltldo2.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ test -n ''
+ exit 77
SKIP core/ltldo2.test (exit status: 77)

FAIL: core/maskkeep.test
========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test maskkeep.test'
== Running test maskkeep.test
+ echo maskkeep.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=maskkeep
+ testSubDir=maskkeep.dir
+ chmod -R a+rwx maskkeep.dir
+ rm -rf maskkeep.dir
+ mkdir maskkeep.dir
+ cd maskkeep.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ cat
+ cat
+ run 0 autfilt '--keep-states=0' input1 -H
+ expected_exitcode=0
+ shift
+ exitcode=0
+ test -n valgrind
+ command -v autfilt
+ cmd=/usr/ports/math/spot/work/spot-2.16.1/bin/autfilt
+ shift
+ test -n /usr/ports/math/spot/work/spot-2.16.1/bin/autfilt
+ set /usr/ports/math/spot/work/spot-2.16.1/bin/autfilt '--keep-states=0' input1 -H
+ exec
+ GLIBCXX_FORCE_NEW=1 /usr/ports/math/spot/work/spot-2.16.1/libtool '--mode=execute' valgrind '--tool=memcheck' '--leak-check=yes' '--log-fd=6' -q /usr/ports/math/spot/work/spot-2.16.1/bin/autfilt '--keep-states=0' input1 -H
+ cat valgrind.err
+ sed 1q valgrind.err
+ test -z ''
+ rm -f valgrind.err
+ test 0 '=' 0
+ diff output expect1
+ run 0 autfilt '--keep-states=1' input1 -H
+ expected_exitcode=0
+ shift
+ exitcode=0
+ test -n valgrind
+ command -v autfilt
+ cmd=/usr/ports/math/spot/work/spot-2.16.1/bin/autfilt
+ shift
+ test -n /usr/ports/math/spot/work/spot-2.16.1/bin/autfilt
+ set /usr/ports/math/spot/work/spot-2.16.1/bin/autfilt '--keep-states=1' input1 -H
+ exec
+ GLIBCXX_FORCE_NEW=1 /usr/ports/math/spot/work/spot-2.16.1/libtool '--mode=execute' valgrind '--tool=memcheck' '--leak-check=yes' '--log-fd=6' -q /usr/ports/math/spot/work/spot-2.16.1/bin/autfilt '--keep-states=1' input1 -H
+ cat valgrind.err
+ sed 1q valgrind.err
+ test -z ''
+ rm -f valgrind.err
+ test 0 '=' 0
+ diff output expect1
+ cat
+ cat
+ cat
+ run 0 autfilt '--keep-states=0,1,2' input1 -H
+ expected_exitcode=0
+ shift
+ exitcode=0
+ test -n valgrind
+ command -v autfilt
+ cmd=/usr/ports/math/spot/work/spot-2.16.1/bin/autfilt
+ shift
+ test -n /usr/ports/math/spot/work/spot-2.16.1/bin/autfilt
+ set /usr/ports/math/spot/work/spot-2.16.1/bin/autfilt '--keep-states=0,1,2' input1 -H
+ exec
+ GLIBCXX_FORCE_NEW=1 /usr/ports/math/spot/work/spot-2.16.1/libtool '--mode=execute' valgrind '--tool=memcheck' '--leak-check=yes' '--log-fd=6' -q /usr/ports/math/spot/work/spot-2.16.1/bin/autfilt '--keep-states=0,1,2' input1 -H
+ cat valgrind.err
+ sed 1q valgrind.err
+ test -z ''
+ rm -f valgrind.err
+ test 0 '=' 0
+ diff output expect3
+ run 0 autfilt '--keep-states=0,9999,1,2' input1 -H
+ expected_exitcode=0
+ shift
+ exitcode=0
+ test -n valgrind
+ command -v autfilt
+ cmd=/usr/ports/math/spot/work/spot-2.16.1/bin/autfilt
+ shift
+ test -n /usr/ports/math/spot/work/spot-2.16.1/bin/autfilt
+ set /usr/ports/math/spot/work/spot-2.16.1/bin/autfilt '--keep-states=0,9999,1,2' input1 -H
+ exec
+ GLIBCXX_FORCE_NEW=1 /usr/ports/math/spot/work/spot-2.16.1/libtool '--mode=execute' valgrind '--tool=memcheck' '--leak-check=yes' '--log-fd=6' -q /usr/ports/math/spot/work/spot-2.16.1/bin/autfilt '--keep-states=0,9999,1,2' input1 -H
+ cat valgrind.err
==92077== Conditional jump or move depends on uninitialised value(s)
==92077==    at 0x4BD03E5: operator() (mask.cc:87)
==92077==    by 0x4BD03E5: transform_accessible<(lambda at mask.cc:82:35)> (mask.hh:117)
==92077==    by 0x4BD03E5: spot::mask_keep_accessible_states(std::__1::shared_ptr<spot::twa_graph const> const&, std::__1::vector<bool, std::__1::allocator<bool> >&, unsigned int, bool) (mask.cc:82)
==92077==    by 0x222147: (anonymous namespace)::autfilt_processor::process_automaton(std::__1::shared_ptr<spot::parsed_aut const> const&) (autfilt.cc:1836)
==92077==    by 0x227B99: hoa_processor::process_automaton_stream(spot::automaton_stream_parser&&) (common_hoaread.hh:142)
==92077==    by 0x22772D: hoa_processor::process_aut_file(char const*) (common_hoaread.hh:122)
==92077==    by 0x23577C: job_processor::run() (common_finput.cc:388)
==92077==    by 0x21CE04: operator() (autfilt.cc:2015)
==92077==    by 0x21CE04: __invoke<(lambda at autfilt.cc:1976:31) &> (include/c++/v1/__type_traits/invoke.h:87)
==92077==    by 0x21CE04: __call<(lambda at autfilt.cc:1976:31) &> (include/c++/v1/__type_traits/invoke.h:334)
==92077==    by 0x21CE04: __invoke_r<int, (lambda at autfilt.cc:1976:31) &> (include/c++/v1/__type_traits/invoke.h:348)
==92077==    by 0x21CE04: std::__1::__function::__func<main::$_0, int ()>::operator()() (include/c++/v1/__functional/function.h:174)
==92077==    by 0x2376F7: operator() (include/c++/v1/__functional/function.h:274)
==92077==    by 0x2376F7: operator() (include/c++/v1/__functional/function.h:772)
==92077==    by 0x2376F7: protected_main(char**, std::__1::function<int ()>) (common_setup.cc:207)
==92077==    by 0x21C8AA: main (autfilt.cc:1976)
==92077== 
+ sed 1q valgrind.err
+ test -z '==92077== Conditional jump or move depends on uninitialised value(s)'
+ exit 50
FAIL core/maskkeep.test (exit status: 50)

SKIP: core/ltl2neverclaim-lbtt.test
===================================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltl2neverclaim-lbtt.test'
== Running test ltl2neverclaim-lbtt.test
+ echo ltl2neverclaim-lbtt.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltl2neverclaim-lbtt
+ testSubDir=ltl2neverclaim-lbtt.dir
+ chmod -R a+rwx ltl2neverclaim-lbtt.dir
+ rm -rf ltl2neverclaim-lbtt.dir
+ mkdir ltl2neverclaim-lbtt.dir
+ cd ltl2neverclaim-lbtt.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ need_lbtt
+ '' --version
ltl2neverclaim-lbtt.test: : Permission denied
+ exit 77
SKIP core/ltl2neverclaim-lbtt.test (exit status: 77)

FAIL: core/ltlf.test
====================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltlf.test'
== Running test ltlf.test
+ echo ltlf.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltlf
+ testSubDir=ltlf.dir
+ chmod -R a+rwx ltlf.dir
+ rm -rf ltlf.dir
+ mkdir ltlf.dir
+ cd ltlf.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ export 'SPOT_FROM_LTLF=0'
+ ltlfilt '--from-ltlf=A' -f 'a & Xa' -f 'a & X[!]a' -f '(a U b) & (F(c) | F(d & X(0)))'
+ cat
+ diff expected out
+ ltl2tgba -B -F out
+ cat
+ diff expected2 out2
+ autfilt '--to-finite=A' out2
+ cat
+ diff expected3 out3
+ autfilt out3
+ diff out3 out4
+ cat
+ ltl2tgba --ltlf 'a & Xa' 'a & X[!]a' '(a U b) & (F(c) | F(d & X(0)))'
+ diff out4b expected3b
+ grep -v '\[f\]' out4
+ cmp out3 out4
out3 out4 differ: char 708, line 55
+ autfilt out3
+ diff out4 expected3
+ ltlfilt -f '(i->XXo)|G(i<->Xo2)' -f XXXo --from-ltlf
+ ltl2tgba -D
+ autfilt -C --to-finite
+ cat
+ diff out exp
+ export 'SPOT_FROM_LTLF=1'
+ cat
+ wc -l
+ total='      79'
+ ltlfilt --from-ltlf -F formulas_o.ltl
+ ltlfilt --syntactic-obligation -c
+ cat oblig_count
+ count=79
+ test '      79' '=' 79
+ echo 'Not all from_ltlf(algo=1) results are obligations.'
Not all from_ltlf(algo=1) results are obligations.
+ echo 'Expected       79, got 79'
Expected       79, got 79
+ ltlfilt --from-ltlf -F formulas_o.ltl
alive & G(a | !alive) & F!alive & (alive W G!alive)
alive & F(a & alive) & F!alive & (alive W G!alive)
alive & (a U (alive & b)) & F!alive & (alive W G!alive)
alive & (a R (!alive | b)) & F!alive & (alive W G!alive)
alive & ((a | !alive) W b) & F!alive & (alive W G!alive)
alive & ((a & alive) M b) & F!alive & (alive W G!alive)
alive & G(!alive | (a R alive)) & F!alive & (alive W G!alive)
alive & F(alive & (a U !alive)) & F!alive & (alive W G!alive)
alive & G(!alive | (b R (alive & (a | b)))) & F!alive & (alive W G!alive)
alive & G(!alive | (a R (!alive | b))) & F!alive & (alive W G!alive)
alive & G(!alive | ((a | !alive) W b)) & F!alive & (alive W G!alive)
alive & G(!alive | (a R (alive & b))) & F!alive & (alive W G!alive)
alive & F(alive & (a U (alive & b))) & F!alive & (alive W G!alive)
alive & F(alive & (b U (!alive | (a & b)))) & F!alive & (alive W G!alive)
alive & F(alive & (a U (!alive | b))) & F!alive & (alive W G!alive)
alive & F(alive & ((a & alive) M b)) & F!alive & (alive W G!alive)
alive & (F(a & alive) U (alive & b)) & F!alive & (alive W G!alive)
alive & (G(a | !alive) U (alive & b)) & F!alive & (alive W G!alive)
alive & (F(a & alive) R (!alive | b)) & F!alive & (alive W G!alive)
alive & (G(a | !alive) R (!alive | b)) & F!alive & (alive W G!alive)
alive & ((!alive | (a R alive)) W b) & F!alive & (alive W G!alive)
alive & ((!alive | G(a | !alive)) W b) & F!alive & (alive W G!alive)
alive & ((alive & F(a & alive)) M b) & F!alive & (alive W G!alive)
alive & ((alive & (a U !alive)) M b) & F!alive & (alive W G!alive)
alive & (a U (alive & F(alive & b))) & F!alive & (alive W G!alive)
alive & (a U (alive & (b U !alive))) & F!alive & (alive W G!alive)
alive & (a R (!alive | (b R alive))) & F!alive & (alive W G!alive)
alive & (a R (!alive | G(!alive | b))) & F!alive & (alive W G!alive)
alive & ((a | !alive) W F(alive & b)) & F!alive & (alive W G!alive)
alive & ((a | !alive) W G(!alive | b)) & F!alive & (alive W G!alive)
alive & ((a & alive) M F(alive & b)) & F!alive & (alive W G!alive)
alive & ((a & alive) M G(!alive | b)) & F!alive & (alive W G!alive)
alive & ((a U (alive & b)) U (alive & c)) & F!alive & (alive W G!alive)
alive & ((a U (alive & b)) R (!alive | c)) & F!alive & (alive W G!alive)
alive & ((!alive | (b R (alive & (a | b)))) W c) & F!alive & (alive W G!alive)
alive & ((alive & (a U (alive & b))) M c) & F!alive & (alive W G!alive)
alive & ((a R (!alive | b)) U (alive & c)) & F!alive & (alive W G!alive)
alive & ((a R (!alive | b)) R (!alive | c)) & F!alive & (alive W G!alive)
alive & ((!alive | (a R (!alive | b))) W c) & F!alive & (alive W G!alive)
alive & ((alive & (b U (!alive | (a & b)))) M c) & F!alive & (alive W G!alive)
alive & (((a | !alive) W b) U (alive & c)) & F!alive & (alive W G!alive)
alive & (((a | !alive) W b) R (!alive | c)) & F!alive & (alive W G!alive)
alive & ((!alive | ((a | !alive) W b)) W c) & F!alive & (alive W G!alive)
alive & ((alive & (a U (!alive | b))) M c) & F!alive & (alive W G!alive)
alive & (((a & alive) M b) U (alive & c)) & F!alive & (alive W G!alive)
alive & (((a & alive) M b) R (!alive | c)) & F!alive & (alive W G!alive)
alive & ((!alive | (a R (alive & b))) W c) & F!alive & (alive W G!alive)
alive & ((alive & ((a & alive) M b)) M c) & F!alive & (alive W G!alive)
alive & (a U (alive & (b U (alive & c)))) & F!alive & (alive W G!alive)
alive & (a U (alive & (c U (!alive | (b & c))))) & F!alive & (alive W G!alive)
alive & (a U (alive & (b U (!alive | c)))) & F!alive & (alive W G!alive)
alive & (a U (alive & ((alive & b) M c))) & F!alive & (alive W G!alive)
alive & (a R (!alive | (c R (alive & (b | c))))) & F!alive & (alive W G!alive)
alive & (a R (!alive | (b R (!alive | c)))) & F!alive & (alive W G!alive)
alive & (a R (!alive | ((!alive | b) W c))) & F!alive & (alive W G!alive)
alive & (a R (!alive | (b R (alive & c)))) & F!alive & (alive W G!alive)
alive & ((a | !alive) W (b U (alive & c))) & F!alive & (alive W G!alive)
alive & ((a | !alive) W (b R (!alive | c))) & F!alive & (alive W G!alive)
alive & ((a | !alive) W ((!alive | b) W c)) & F!alive & (alive W G!alive)
alive & ((a | !alive) W ((alive & b) M c)) & F!alive & (alive W G!alive)
alive & ((a & alive) M (b U (alive & c))) & F!alive & (alive W G!alive)
alive & ((a & alive) M (b R (!alive | c))) & F!alive & (alive W G!alive)
alive & ((a & alive) M ((!alive | b) W c)) & F!alive & (alive W G!alive)
alive & ((a & alive) M ((alive & b) M c)) & F!alive & (alive W G!alive)
alive & G(!alive | (G(a | !alive) R alive)) & F!alive & (alive W G!alive)
alive & F(alive & (F(a & alive) U !alive)) & F!alive & (alive W G!alive)
alive & G(!alive | (G(!alive | (a R alive)) R alive)) & F!alive & (alive W G!alive)
alive & G(!alive | (G(!alive | b) R (alive & (a | G(!alive | b))))) & F!alive & (alive W G!alive)
alive & F(alive & (F(alive & b) U (!alive | (a & F(alive & b))))) & F!alive & (alive W G!alive)
alive & G(!alive | ((a | !alive) W G(!alive | b))) & F!alive & (alive W G!alive)
alive & F(alive & ((a & alive) M F(alive & b))) & F!alive & (alive W G!alive)
alive & ((!alive | (b R (alive & (b | G(a | !alive))))) W c) & F!alive & (alive W G!alive)
alive & ((a & alive) M (G(!alive | b) R (!alive | c))) & F!alive & (alive W G!alive)
alive & G(a | !alive) & F(alive & b) & F!alive & (alive W G!alive)
alive & (F(a & alive) | G(!alive | b)) & F!alive & (alive W G!alive)
alive & (a U (alive & b)) & G(!alive | c) & F!alive & (alive W G!alive)
alive & ((a R (!alive | b)) | F(alive & c)) & F!alive & (alive W G!alive)
alive & G(!alive | (a & (b R alive))) & F!alive & (alive W G!alive)
alive & F(alive & (a | (b U !alive))) & F!alive & (alive W G!alive)
+ exit 1
FAIL core/ltlf.test (exit status: 1)

SKIP: core/ltl3ba.test
======================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltl3ba.test'
== Running test ltl3ba.test
+ echo ltl3ba.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltl3ba
+ testSubDir=ltl3ba.dir
+ chmod -R a+rwx ltl3ba.dir
+ rm -rf ltl3ba.dir
+ mkdir ltl3ba.dir
+ cd ltl3ba.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ ltl3ba -v
ltl3ba.test: ltl3ba: not found
+ exit 77
SKIP core/ltl3ba.test (exit status: 77)

FAIL: core/streett.test
=======================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test streett.test'
== Running test streett.test
+ echo streett.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=streett
+ testSubDir=streett.dir
+ chmod -R a+rwx streett.dir
+ rm -rf streett.dir
+ mkdir streett.dir
+ cd streett.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ cat
+ run 0 autcross --language-preserved 'autfilt --tgba %H | tee out.hoa >%O' -F streett.hoa
+ expected_exitcode=0
+ shift
+ exitcode=0
+ test -n valgrind
+ command -v autcross
+ cmd=/usr/ports/math/spot/work/spot-2.16.1/bin/autcross
+ shift
+ test -n /usr/ports/math/spot/work/spot-2.16.1/bin/autcross
+ set /usr/ports/math/spot/work/spot-2.16.1/bin/autcross --language-preserved 'autfilt --tgba %H | tee out.hoa >%O' -F streett.hoa
+ exec
+ GLIBCXX_FORCE_NEW=1 /usr/ports/math/spot/work/spot-2.16.1/libtool '--mode=execute' valgrind '--tool=memcheck' '--leak-check=yes' '--log-fd=6' -q /usr/ports/math/spot/work/spot-2.16.1/bin/autcross --language-preserved 'autfilt --tgba %H | tee out.hoa >%O' -F streett.hoa
streett.hoa:1.1-82.7
Running [A0]: autfilt --tgba 'lcr-i0-9I78k8' | tee out.hoa >'lcr-o0-L5Xub9'
Performing sanity checks and gathering statistics...

No problem detected.
+ cat valgrind.err
==34040== warning: rfork() not implemented
+ sed 1q valgrind.err
+ test -z '==34040== warning: rfork() not implemented'
+ exit 50
FAIL core/streett.test (exit status: 50)

SKIP: core/ltl3dra.test
=======================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltl3dra.test'
== Running test ltl3dra.test
+ echo ltl3dra.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltl3dra
+ testSubDir=ltl3dra.dir
+ chmod -R a+rwx ltl3dra.dir
+ rm -rf ltl3dra.dir
+ mkdir ltl3dra.dir
+ cd ltl3dra.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ ltl3dra -v
ltl3dra.test: ltl3dra: not found
+ exit 77
SKIP core/ltl3dra.test (exit status: 77)

SKIP: core/ltl2dstar.test
=========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltl2dstar.test'
== Running test ltl2dstar.test
+ echo ltl2dstar.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltl2dstar
+ testSubDir=ltl2dstar.dir
+ chmod -R a+rwx ltl2dstar.dir
+ rm -rf ltl2dstar.dir
+ mkdir ltl2dstar.dir
+ cd ltl2dstar.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ ltl2dstar --version
ltl2dstar.test: ltl2dstar: not found
+ exit 77
SKIP core/ltl2dstar.test (exit status: 77)

SKIP: core/ltl2dstar2.test
==========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltl2dstar2.test'
== Running test ltl2dstar2.test
+ echo ltl2dstar2.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltl2dstar2
+ testSubDir=ltl2dstar2.dir
+ chmod -R a+rwx ltl2dstar2.dir
+ rm -rf ltl2dstar2.dir
+ mkdir ltl2dstar2.dir
+ cd ltl2dstar2.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ ltl2dstar --version
ltl2dstar2.test: ltl2dstar: not found
+ exit 77
SKIP core/ltl2dstar2.test (exit status: 77)

SKIP: core/ltl2dstar3.test
==========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltl2dstar3.test'
== Running test ltl2dstar3.test
+ echo ltl2dstar3.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltl2dstar3
+ testSubDir=ltl2dstar3.dir
+ chmod -R a+rwx ltl2dstar3.dir
+ rm -rf ltl2dstar3.dir
+ mkdir ltl2dstar3.dir
+ cd ltl2dstar3.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ ltl2dstar --version
ltl2dstar3.test: ltl2dstar: not found
+ exit 77
SKIP core/ltl2dstar3.test (exit status: 77)

SKIP: core/ltl2dstar4.test
==========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltl2dstar4.test'
== Running test ltl2dstar4.test
+ echo ltl2dstar4.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltl2dstar4
+ testSubDir=ltl2dstar4.dir
+ chmod -R a+rwx ltl2dstar4.dir
+ rm -rf ltl2dstar4.dir
+ mkdir ltl2dstar4.dir
+ cd ltl2dstar4.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ ltl2dstar --version
ltl2dstar4.test: ltl2dstar: not found
+ exit 77
SKIP core/ltl2dstar4.test (exit status: 77)

FAIL: core/ltlcrossce.test
==========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltlcrossce.test'
== Running test ltlcrossce.test
+ echo ltlcrossce.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltlcrossce
+ testSubDir=ltlcrossce.dir
+ chmod -R a+rwx ltlcrossce.dir
+ rm -rf ltlcrossce.dir
+ mkdir ltlcrossce.dir
+ cd ltlcrossce.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ cat
+ chmod +x fake
+ run 1 ltlcross -f 'G(F(p0) & F(G(!p1))) | (F(G(!p0)) & G(F(p1)))' 'ltl2tgba --lbtt %f >%T' './fake %l >%T'
FAIL core/ltlcrossce.test (exit status: 50)

FAIL: core/ltlcrossce2.test
===========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test ltlcrossce2.test'
== Running test ltlcrossce2.test
+ echo ltlcrossce2.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=ltlcrossce2
+ testSubDir=ltlcrossce2.dir
+ chmod -R a+rwx ltlcrossce2.dir
+ rm -rf ltlcrossce2.dir
+ mkdir ltlcrossce2.dir
+ cd ltlcrossce2.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ cat
+ chmod +x fake
+ run 1 ltlcross -f 'G(a <-> Fb) U c' 'ltl2tgba --lbtt %f >%T' './fake %l >%T'
FAIL core/ltlcrossce2.test (exit status: 50)

SKIP: core/satmin3.test
=======================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test satmin3.test'
== Running test satmin3.test
+ echo satmin3.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=satmin3
+ testSubDir=satmin3.dir
+ chmod -R a+rwx satmin3.dir
+ rm -rf satmin3.dir
+ mkdir satmin3.dir
+ cd satmin3.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ cat
+ SPOT_SATSOLVER=false autfilt --sat-minimize test.hoa '--stats=%s'
+ grep 'autfilt: SPOT_SATSOLVER should use %I' err
autfilt: SPOT_SATSOLVER should use %I as input filename.
+ SPOT_SATSOLVER='false %I' autfilt --sat-minimize test.hoa '--stats=%s'
+ grep 'autfilt: SPOT_SATSOLVER should use %O' err
autfilt: SPOT_SATSOLVER should use %O as output filename.
+ SPOT_SATSOLVER='false %I %O' autfilt --sat-minimize test.hoa '--stats=%s'
+ cat output
+ test 3 '=' 3
+ SPOT_SATSOLVER='this-does-not-exist %I %O' autfilt --sat-minimize test.hoa '--stats=%s'
+ grep 'this-does-not-exist.*failed' err
autfilt: this-does-not-exist sat-B0s2tu.cnf sat-eNdJY2.out: failed to execute
+ exit 77
SKIP core/satmin3.test (exit status: 77)

SKIP: core/spotlbtt.test
========================

+ echo 'This test can take as long as 15 minutes on a 2GHz Pentium 4.'
This test can take as long as 15 minutes on a 2GHz Pentium 4.
+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test spotlbtt.test'
== Running test spotlbtt.test
+ echo spotlbtt.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=spotlbtt
+ testSubDir=spotlbtt.dir
+ chmod -R a+rwx spotlbtt.dir
+ rm -rf spotlbtt.dir
+ mkdir spotlbtt.dir
+ cd spotlbtt.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ need_lbtt
+ '' --version
spotlbtt.test: : Permission denied
+ exit 77
SKIP core/spotlbtt.test (exit status: 77)

SKIP: core/autcross.test
========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test autcross.test'
== Running test autcross.test
+ echo autcross.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=autcross
+ testSubDir=autcross.dir
+ chmod -R a+rwx autcross.dir
+ rm -rf autcross.dir
+ mkdir autcross.dir
+ cd autcross.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ ltl2dstar --version
autcross.test: ltl2dstar: not found
+ exit 77
SKIP core/autcross.test (exit status: 77)

FAIL: core/autdo.test
=====================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test autdo.test'
== Running test autdo.test
+ echo autdo.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=autdo
+ testSubDir=autdo.dir
+ chmod -R a+rwx autdo.dir
+ rm -rf autdo.dir
+ mkdir autdo.dir
+ cd autdo.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ ltl2tgba Ga Fb 'a U b'
+ tee expected
+ autdo autfilt
+ diff output expected
+ ltl2tgba Ga
+ autdo autfilt 'autfilt --tgba'
+ grep -c ^HOA: output
+ test 2 '=' 2
+ ltl2tgba -D 'a U b'
+ autdo --smallest autfilt 'autfilt --tgba'
+ grep -c ^HOA: output
+ test 1 '=' 1
+ ltl2tgba -D 'GFa & GFb'
+ autdo --greatest autfilt 'autfilt -B'
+ grep -c ^HOA: output
+ test 1 '=' 1
+ ltl2tgba Ga
+ autdo '--smallest=%e' autfilt 'autfilt --tgba'
+ grep -c ^HOA: output
+ test 1 '=' 1
+ ltl2tgba Ga
+ autdo '--errors=ignore' 'false %H>%O'
+ cat output
+ test -z ''
+ ltl2tgba Ga
+ autdo '--errors=warn' 'false %H>%O'
+ cat output
+ test -z ''
+ grep -E 'exit code|failed to run' warn.err
autdo: execution of command "false 'lcr-i1-KEnRPY'>'lcr-o0-3A5m6O'" returned exit code 1.
autdo:-:1: failed to run `false %H>%O'
+ ltl2tgba Ga
+ autdo '--errors=ignore' 'autfilt %H>%O' 'autfilt --tgba %H>%O' 'autfilt -B %H>%O' 'autfilt -C %H>%O' 'autfilt --small %H>%O' 'autfilt --high %H>%O' 'autfilt -S %H>%O' 'autfilt -D %H>%O'
+ grep -c ^HOA: output
+ test 8 '=' 8
+ ltl2tgba Ga Fb 'a U b'
+ autdo -n 2 'autfilt %H>%O'
+ grep -c ^HOA: output
+ test 2 '=' 2
+ ltl2tgba Ga
+ autdo -T 1 'sleep 10; autfilt %H>%O'
+ cat output
+ test -z ''
+ grep -q timeout stderr
+ ltl2tgba Ga
+ autdo -T 1 'sleep 10; autfilt %H>%O' --fail-on-timeout '--errors=warn'
+ cat output
+ test -z ''
+ grep -q timeout stderr
+ ltl2tgba Ga
+ autdo '--errors=ignore' 'autfilt --unknown-option %H>%O'
+ cat output
+ test -z ''
+ ltl2tgba Ga
+ autdo - 'autfilt %H>%O'
+ grep -c ^HOA: output
+ test 1 '=' 1
+ ltl2tgba Ga Fb
+ autdo --stats '%#: %M' 'autfilt %H>%O'
+ cat
+ diff output expected
+ ltl2tgba Ga
+ run 0 autdo -F aut.in 'autfilt %H>%O'
+ expected_exitcode=0
+ shift
+ exitcode=0
+ test -n valgrind
+ command -v autdo
+ cmd=/usr/ports/math/spot/work/spot-2.16.1/bin/autdo
+ shift
+ test -n /usr/ports/math/spot/work/spot-2.16.1/bin/autdo
+ set /usr/ports/math/spot/work/spot-2.16.1/bin/autdo -F aut.in 'autfilt %H>%O'
+ exec
+ GLIBCXX_FORCE_NEW=1 /usr/ports/math/spot/work/spot-2.16.1/libtool '--mode=execute' valgrind '--tool=memcheck' '--leak-check=yes' '--log-fd=6' -q /usr/ports/math/spot/work/spot-2.16.1/bin/autdo -F aut.in 'autfilt %H>%O'
+ cat valgrind.err
==5422== warning: rfork() not implemented
+ sed 1q valgrind.err
+ test -z '==5422== warning: rfork() not implemented'
+ exit 50
FAIL core/autdo.test (exit status: 50)

FAIL: core/cycles.test
======================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test cycles.test'
== Running test cycles.test
+ echo cycles.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=cycles
+ testSubDir=cycles.dir
+ chmod -R a+rwx cycles.dir
+ rm -rf cycles.dir
+ mkdir cycles.dir
+ cd cycles.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ cat
+ run 0 ../ikwiad -KC -XH johnson-fig1.hoa
+ expected_exitcode=0
+ shift
+ exitcode=0
+ test -n valgrind
+ command -v ../ikwiad
+ cmd=/usr/ports/math/spot/work/spot-2.16.1/tests/core/cycles.dir/../ikwiad
+ shift
+ test -n /usr/ports/math/spot/work/spot-2.16.1/tests/core/cycles.dir/../ikwiad
+ set /usr/ports/math/spot/work/spot-2.16.1/tests/core/cycles.dir/../ikwiad -KC -XH johnson-fig1.hoa
+ exec
+ GLIBCXX_FORCE_NEW=1 /usr/ports/math/spot/work/spot-2.16.1/libtool '--mode=execute' valgrind '--tool=memcheck' '--leak-check=yes' '--log-fd=6' -q /usr/ports/math/spot/work/spot-2.16.1/tests/core/cycles.dir/../ikwiad -KC -XH johnson-fig1.hoa
+ cat valgrind.err
==22903== Conditional jump or move depends on uninitialised value(s)
==22903==    at 0x4AE48BD: spot::enumerate_cycles::run(unsigned int) (cycles.cc:103)
==22903==    by 0x20F7FF: checked_main(int, char**) (ikwiad.cc:1282)
==22903==    by 0x50765CE: __libc_start1 (in /lib/libc.so.7)
==22903==    by 0x20AB83: (below main) (crt1_s.S:80)
==22903== 
+ sed 1q valgrind.err
+ test -z '==22903== Conditional jump or move depends on uninitialised value(s)'
+ exit 50
FAIL core/cycles.test (exit status: 50)

SKIP: core/syfco.test
=====================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test syfco.test'
== Running test syfco.test
+ echo syfco.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=syfco
+ testSubDir=syfco.dir
+ chmod -R a+rwx syfco.dir
+ rm -rf syfco.dir
+ mkdir syfco.dir
+ cd syfco.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ set -e
+ syfco --version
syfco.test: syfco: not found
+ exit 77
SKIP core/syfco.test (exit status: 77)

SKIP: ltsmin/check.test
=======================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test check.test'
== Running test check.test
+ echo check.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=check
+ testSubDir=check.dir
+ chmod -R a+rwx check.dir
+ rm -rf check.dir
+ mkdir check.dir
+ cd check.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ divine compile
+ set -e
+ command -v spins
+ test -x ''
+ echo 'spins not installed.'
spins not installed.
+ grep -i -- --ltsmin output
+ echo 'divine not installed, or no ltsmin interface'
divine not installed, or no ltsmin interface
+ exit 77
SKIP ltsmin/check.test (exit status: 77)

SKIP: ltsmin/check2.test
========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test check2.test'
== Running test check2.test
+ echo check2.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=check2
+ testSubDir=check2.dir
+ chmod -R a+rwx check2.dir
+ rm -rf check2.dir
+ mkdir check2.dir
+ cd check2.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ command -v spins
+ test -x ''
+ echo 'spins not installed.'
spins not installed.
+ exit 77
SKIP ltsmin/check2.test (exit status: 77)

SKIP: ltsmin/check3.test
========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test check3.test'
== Running test check3.test
+ echo check3.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=check3
+ testSubDir=check3.dir
+ chmod -R a+rwx check3.dir
+ rm -rf check3.dir
+ mkdir check3.dir
+ cd check3.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ command -v gal2c
+ test -x ''
+ echo 'gal2c not installed.'
gal2c not installed.
+ exit 77
SKIP ltsmin/check3.test (exit status: 77)

SKIP: ltsmin/finite.test
========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test finite.test'
== Running test finite.test
+ echo finite.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=finite
+ testSubDir=finite.dir
+ chmod -R a+rwx finite.dir
+ rm -rf finite.dir
+ mkdir finite.dir
+ cd finite.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ divine compile
+ grep -i 'ltsmin ' output
+ echo 'divine not installed, or no ltsmin interface'
divine not installed, or no ltsmin interface
+ exit 77
SKIP ltsmin/finite.test (exit status: 77)

SKIP: ltsmin/finite2.test
=========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test finite2.test'
== Running test finite2.test
+ echo finite2.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=finite2
+ testSubDir=finite2.dir
+ chmod -R a+rwx finite2.dir
+ rm -rf finite2.dir
+ mkdir finite2.dir
+ cd finite2.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ spins .././finite.pm
finite2.test: spins: not found
+ echo 'spins not functional.'
spins not functional.
+ exit 77
SKIP ltsmin/finite2.test (exit status: 77)

SKIP: ltsmin/finite3.test
=========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test finite3.test'
== Running test finite3.test
+ echo finite3.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=finite3
+ testSubDir=finite3.dir
+ chmod -R a+rwx finite3.dir
+ rm -rf finite3.dir
+ mkdir finite3.dir
+ cd finite3.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ gal2c .././finite.gal
finite3.test: gal2c: not found
+ echo 'gal2c not functional.'
gal2c not functional.
+ exit 77
SKIP ltsmin/finite3.test (exit status: 77)

SKIP: ltsmin/kripke.test
========================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test kripke.test'
== Running test kripke.test
+ echo kripke.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=kripke
+ testSubDir=kripke.dir
+ chmod -R a+rwx kripke.dir
+ rm -rf kripke.dir
+ mkdir kripke.dir
+ cd kripke.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ divine compile
+ grep -i 'ltsmin ' output
+ echo 'divine not installed, or no ltsmin interface'
divine not installed, or no ltsmin interface
+ exit 77
SKIP ltsmin/kripke.test (exit status: 77)

SKIP: ltsmin/testconvert.test
=============================

+ . ./defs
+ test -f ./defs
+ test -z .
+ test -f ./../core/defs.in
+ echo '== Running test testconvert.test'
== Running test testconvert.test
+ echo testconvert.test
+ sed -e 's,.*[\/],,;s/\.test$//'
+ me=testconvert
+ testSubDir=testconvert.dir
+ chmod -R a+rwx testconvert.dir
+ rm -rf testconvert.dir
+ mkdir testconvert.dir
+ cd testconvert.dir
+ srcdir=../.
+ AWK=/usr/bin/awk
+ DOT=dot
+ LBTT=''
+ LBTT_TRANSLATE=''
+ VALGRIND=valgrind
+ SPIN=''
+ LTL2BA=''
+ PYTHON=/usr/local/bin/python3.12
+ top_srcdir=/usr/ports/math/spot/work/spot-2.16.1
+ unset SPOT_DOTEXTRA
+ unset SPOT_DOTDEFAULT
+ set -x
+ divine compile
+ grep -i 'ltsmin ' output
+ echo 'divine not installed, or no ltsmin interface'
divine not installed, or no ltsmin interface
+ exit 77
SKIP ltsmin/testconvert.test (exit status: 77)