Attachment 1465698 Details for Bug 1605505 – build.log

build.log

build.log (text/plain), 32.00 KB, created by Mohan Boddu on 2018-07-20 15:44:44 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Mohan Boddu

Created: 2018-07-20 15:44:44 UTC

Size: 32.00 KB

patch

obsolete

>ng: variable 'i' set but not used [-Wunused-but-set-variable]
>   int i;
>       ^
>gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o test_clause_eval test_clause_eval.o ../ladr/libladr.a
>gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o test_complex.o test_complex.c
>gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o test_complex test_complex.o ../ladr/libladr.a
>gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o complex.o complex.c
>complex.c: In function 'complex4_p1':
>complex.c:79:8: warning: variable 'dummy' set but not used [-Wunused-but-set-variable]
>   BOOL dummy;
>        ^~~~~
>complex.c: In function 'main':
>complex.c:126:12: warning: variable 'd' set but not used [-Wunused-but-set-variable]
>     double d;
>            ^
>gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o complex complex.o ../ladr/libladr.a
>gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection   -c -o gen_trc_defs.o gen_trc_defs.c
>gcc -O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -Wp,-D_GLIBCXX_ASSERTIONS -fexceptions -fstack-protector-strong -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -m64 -march=zEC12 -mtune=z13 -fasynchronous-unwind-tables -fstack-clash-protection -o gen_trc_defs gen_trc_defs.o ../ladr/libladr.a
>/bin/mv latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs ../bin
>/bin/rm -f *.o latfilter olfilter clausefilter idfilter renamer unfast clausetester rewriter isofilter0 isofilter isofilter2 dprofiles interpfilter upper-covers miniscope interpformat prooftrans mirror-flip perm3 sigtest directproof test_clause_eval test_complex complex gen_trc_defs
>make[1]: Leaving directory '/builddir/build/BUILD/LADR-2009-11A/apps.src'
>/bin/cp -p utilities/* bin
>**** Now try 'make test1'. ****
>+ exit 0
>Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.6VWvpz
>+ umask 022
>+ cd /builddir/build/BUILD
>+ '[' /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x '!=' / ']'
>+ rm -rf /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x
>++ dirname /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x
>+ mkdir -p /builddir/build/BUILDROOT
>+ mkdir /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x
>+ cd LADR-2009-11A
>+ /usr/bin/rm -rf /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x
>+ /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin
>+ for f in bin/*
>++ basename bin/attack
>+ /usr/bin/install -p -m 0755 bin/attack /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-attack
>+ for f in bin/*
>++ basename bin/autosketches4
>+ /usr/bin/install -p -m 0755 bin/autosketches4 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-autosketches4
>+ for f in bin/*
>++ basename bin/clausefilter
>+ /usr/bin/install -p -m 0755 bin/clausefilter /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-clausefilter
>+ for f in bin/*
>++ basename bin/clausetester
>+ /usr/bin/install -p -m 0755 bin/clausetester /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-clausetester
>+ for f in bin/*
>++ basename bin/complex
>+ /usr/bin/install -p -m 0755 bin/complex /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-complex
>+ for f in bin/*
>++ basename bin/directproof
>+ /usr/bin/install -p -m 0755 bin/directproof /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-directproof
>+ for f in bin/*
>++ basename bin/dprofiles
>+ /usr/bin/install -p -m 0755 bin/dprofiles /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-dprofiles
>+ for f in bin/*
>++ basename bin/fof-prover9
>+ /usr/bin/install -p -m 0755 bin/fof-prover9 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-fof-prover9
>+ for f in bin/*
>++ basename bin/gen_trc_defs
>+ /usr/bin/install -p -m 0755 bin/gen_trc_defs /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-gen_trc_defs
>+ for f in bin/*
>++ basename bin/get_givens
>+ /usr/bin/install -p -m 0755 bin/get_givens /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-get_givens
>+ for f in bin/*
>++ basename bin/get_interps
>+ /usr/bin/install -p -m 0755 bin/get_interps /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-get_interps
>+ for f in bin/*
>++ basename bin/get_kept
>+ /usr/bin/install -p -m 0755 bin/get_kept /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-get_kept
>+ for f in bin/*
>++ basename bin/gvizify
>+ /usr/bin/install -p -m 0755 bin/gvizify /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-gvizify
>+ for f in bin/*
>++ basename bin/idfilter
>+ /usr/bin/install -p -m 0755 bin/idfilter /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-idfilter
>+ for f in bin/*
>++ basename bin/interpfilter
>+ /usr/bin/install -p -m 0755 bin/interpfilter /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-interpfilter
>+ for f in bin/*
>++ basename bin/interpformat
>+ /usr/bin/install -p -m 0755 bin/interpformat /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-interpformat
>+ for f in bin/*
>++ basename bin/isofilter
>+ /usr/bin/install -p -m 0755 bin/isofilter /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-isofilter
>+ for f in bin/*
>++ basename bin/isofilter0
>+ /usr/bin/install -p -m 0755 bin/isofilter0 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-isofilter0
>+ for f in bin/*
>++ basename bin/isofilter2
>+ /usr/bin/install -p -m 0755 bin/isofilter2 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-isofilter2
>+ for f in bin/*
>++ basename bin/ladr_to_tptp
>+ /usr/bin/install -p -m 0755 bin/ladr_to_tptp /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-ladr_to_tptp
>+ for f in bin/*
>++ basename bin/latfilter
>+ /usr/bin/install -p -m 0755 bin/latfilter /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-latfilter
>+ for f in bin/*
>++ basename bin/looper
>+ /usr/bin/install -p -m 0755 bin/looper /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-looper
>+ for f in bin/*
>++ basename bin/mace4
>+ /usr/bin/install -p -m 0755 bin/mace4 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-mace4
>+ for f in bin/*
>++ basename bin/miniscope
>+ /usr/bin/install -p -m 0755 bin/miniscope /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-miniscope
>+ for f in bin/*
>++ basename bin/mirror-flip
>+ /usr/bin/install -p -m 0755 bin/mirror-flip /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-mirror-flip
>+ for f in bin/*
>++ basename bin/newauto
>+ /usr/bin/install -p -m 0755 bin/newauto /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-newauto
>+ for f in bin/*
>++ basename bin/newsax
>+ /usr/bin/install -p -m 0755 bin/newsax /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-newsax
>+ for f in bin/*
>++ basename bin/olfilter
>+ /usr/bin/install -p -m 0755 bin/olfilter /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-olfilter
>+ for f in bin/*
>++ basename bin/perm3
>+ /usr/bin/install -p -m 0755 bin/perm3 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-perm3
>+ for f in bin/*
>++ basename bin/proof3fo.xsl
>+ /usr/bin/install -p -m 0755 bin/proof3fo.xsl /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-proof3fo.xsl
>+ for f in bin/*
>++ basename bin/prooftrans
>+ /usr/bin/install -p -m 0755 bin/prooftrans /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-prooftrans
>+ for f in bin/*
>++ basename bin/prover9
>+ /usr/bin/install -p -m 0755 bin/prover9 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-prover9
>+ for f in bin/*
>++ basename bin/prover9-mace4
>+ /usr/bin/install -p -m 0755 bin/prover9-mace4 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-prover9-mace4
>+ for f in bin/*
>++ basename bin/renamer
>+ /usr/bin/install -p -m 0755 bin/renamer /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-renamer
>+ for f in bin/*
>++ basename bin/rewriter
>+ /usr/bin/install -p -m 0755 bin/rewriter /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-rewriter
>+ for f in bin/*
>++ basename bin/sigtest
>+ /usr/bin/install -p -m 0755 bin/sigtest /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-sigtest
>+ for f in bin/*
>++ basename bin/test_clause_eval
>+ /usr/bin/install -p -m 0755 bin/test_clause_eval /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-test_clause_eval
>+ for f in bin/*
>++ basename bin/test_complex
>+ /usr/bin/install -p -m 0755 bin/test_complex /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-test_complex
>+ for f in bin/*
>++ basename bin/tptp_to_ladr
>+ /usr/bin/install -p -m 0755 bin/tptp_to_ladr /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-tptp_to_ladr
>+ for f in bin/*
>++ basename bin/unfast
>+ /usr/bin/install -p -m 0755 bin/unfast /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-unfast
>+ for f in bin/*
>++ basename bin/upper-covers
>+ /usr/bin/install -p -m 0755 bin/upper-covers /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-upper-covers
>+ /usr/bin/rm /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-proof3fo.xsl
>+ /usr/bin/rm /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-prover9-mace4
>+ /usr/bin/rm /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-test_clause_eval
>+ /usr/bin/mv /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-mace4 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/mace4
>+ /usr/bin/mv /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-prover9 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9
>+ /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1
>+ /usr/bin/install -p -m 0644 manpages/interpformat.1 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1/prover9-interpformat.1
>+ /usr/bin/install -p -m 0644 manpages/isofilter.1 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1/prover9-isofilter.1
>+ ln -s prover9-isofilter.1.gz /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1/prover9-isofilter0.1.gz
>+ ln -s prover9-isofilter.1.gz /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1/prover9-isofilter2.1.gz
>+ /usr/bin/install -p -m 0644 manpages/prooftrans.1 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1/prover9-prooftrans.1
>+ /usr/bin/install -p -m 0644 manpages/mace4.1 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1
>+ /usr/bin/install -p -m 0644 manpages/prover9.1 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1
>+ /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/include/ladr
>+ /usr/bin/install -p -m 0644 ladr/ac_redun.h ladr/accanon.h ladr/attrib.h ladr/avltree.h ladr/backdemod.h ladr/banner.h ladr/basic.h ladr/btm.h ladr/btu.h ladr/clash.h ladr/clause_eval.h ladr/clause_misc.h ladr/clauseid.h ladr/clauses.h ladr/clausify.h ladr/clist.h ladr/clock.h ladr/cnf.h ladr/complex.h ladr/compress.h ladr/definitions.h ladr/demod.h ladr/di_tree.h ladr/dioph.h ladr/discrim.h ladr/discrimb.h ladr/discrimw.h ladr/dollar.h ladr/fastparse.h ladr/fatal.h ladr/features.h ladr/flatdemod.h ladr/flatterm.h ladr/formula.h ladr/fpa.h ladr/fpalist.h ladr/glist.h ladr/hash.h ladr/header.h ladr/hints.h ladr/ibuffer.h ladr/index.h ladr/int_code.h ladr/interp.h ladr/ioutil.h ladr/ivy.h ladr/just.h ladr/ladr.h ladr/lindex.h ladr/listterm.h ladr/literals.h ladr/maximal.h ladr/memory.h ladr/mindex.h ladr/multiset.h ladr/nonport.h ladr/options.h ladr/order.h ladr/paramod.h ladr/parautil.h ladr/parse.h ladr/pindex.h ladr/random.h ladr/resolve.h ladr/std_options.h ladr/strbuf.h ladr/string.h ladr/subsume.h ladr/symbols.h ladr/term.h ladr/termflag.h ladr/termorder.h ladr/tlist.h ladr/top_input.h ladr/topform.h ladr/tptp_trans.h ladr/unify.h ladr/weight.h ladr/weight2.h ladr/xproofs.h /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/include/ladr
>+ /usr/bin/install -p -d -m 0755 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/lib64
>+ /usr/bin/install -p -m 0644 ladr/libladr.a /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/lib64
>+ /usr/bin/install -p -m 0644 manpages/clausefilter.1 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1/prover9-clausefilter.1
>+ /usr/bin/install -p -m 0644 manpages/clausetester.1 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1/prover9-clausetester.1
>+ /usr/bin/install -p -m 0644 manpages/interpfilter.1 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1/prover9-interpfilter.1
>+ /usr/bin/install -p -m 0644 manpages/rewriter.1 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1/prover9-rewriter.1
>+ /usr/bin/install -p -m 0644 manpages/prover9-apps.1 /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/share/man/man1
>+ chmod 0644 apps.examples/run-all
>+ /usr/lib/rpm/find-debuginfo.sh -j2 --strict-build-id -m -i --build-id-seed 200911a-16.fc29 --unique-debug-suffix -200911a-16.fc29.s390x --unique-debug-src-base prover9-200911a-16.fc29.s390x --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 -S debugsourcefiles.list /builddir/build/BUILD/LADR-2009-11A
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-autosketches4
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-clausefilter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-clausetester
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-complex
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-directproof
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-dprofiles
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-fof-prover9
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-gen_trc_defs
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-idfilter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-interpfilter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-interpformat
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-isofilter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-isofilter0
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-isofilter2
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-ladr_to_tptp
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-latfilter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-miniscope
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-mirror-flip
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-newauto
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-newsax
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-olfilter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-perm3
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-prooftrans
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-renamer
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-rewriter
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-sigtest
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-test_complex
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-tptp_to_ladr
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-unfast
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9-upper-covers
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/mace4
>extracting debug info from /builddir/build/BUILDROOT/prover9-200911a-16.fc29.s390x/usr/bin/prover9
>/usr/lib/rpm/sepdebugcrcfix: Updated 32 CRC32s, 0 CRC32s did match.
>3671 blocks
>+ /usr/lib/rpm/check-buildroot
>+ /usr/lib/rpm/redhat/brp-ldconfig
>/sbin/ldconfig: Warning: ignoring configuration file that cannot be opened: /etc/ld.so.conf: No such file or directory
>+ /usr/lib/rpm/brp-compress
>+ /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip
>+ /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 1
>+ /usr/lib/rpm/brp-python-hardlink
>+ /usr/lib/rpm/redhat/brp-mangle-shebangs
>*** WARNING: mangling shebang in /usr/bin/prover9-attack from #!/usr/bin/python to #!/usr/bin/python2. This will become an ERROR, fix it manually!
>*** WARNING: mangling shebang in /usr/bin/prover9-gvizify from #!/usr/bin/python to #!/usr/bin/python2. This will become an ERROR, fix it manually!
>*** WARNING: mangling shebang in /usr/bin/prover9-looper from #!/usr/bin/python to #!/usr/bin/python2. This will become an ERROR, fix it manually!
>Executing(%check): /bin/sh -e /var/tmp/rpm-tmp.GEqDxx
>+ umask 022
>+ cd /builddir/build/BUILD
>+ cd LADR-2009-11A
>+ make test1 test2 test3
>bin/prover9 -f prover9.examples/x2.in | bin/prooftrans parents_only
>============================== prooftrans ============================
>Prover9 (64) version 2009-11A, November 2009.
>Process 47788 was started by mockbuild on buildvm-s390x-08.s390.fedoraproject.org,
>Sun Jul 15 11:44:30 2018
>The command was "bin/prover9 -f prover9.examples/x2.in".
>============================== end of head ===========================
>============================== end of input ==========================
>-------- Proof 1 -------- 
>THEOREM PROVED
>------ process 47788 exit (max_proofs) ------
>
>============================== PROOF =================================
>% -------- Comments from original proof --------
>% Proof 1 at 0.00 (+ 0.00) seconds.
>% Length of proof is 16.
>% Level of proof is 7.
>% Maximum clause weight is 11.000.
>% Given clauses 12.
>1 x * y = y * x # label(non_clause) # label(goal).  [].
>2 e * x = x.  [].
>3 x' * x = e.  [].
>4 (x * y) * z = x * (y * z).  [].
>5 x * x = e.  [].
>6 c2 * c1 != c1 * c2.  [1].
>7 x' * (x * y) = y.  [3,4,2].
>8 x * (x * y) = y.  [5,4,2].
>9 x * (y * (x * y)) = e.  [5,4].
>11 x'' * e = x.  [3,7].
>13 x' * e = x.  [5,7].
>15 x' = x.  [11,13].
>16 x * e = x.  [13,15].
>19 x * (y * x) = y.  [9,8,16].
>24 x * y = y * x.  [19,8].
>25 $F.  [24,6].
>============================== end of proof ==========================
>**** If you see a proof, prover9 is probably okay. ****
>**** Next try 'make test2'. ****
>bin/mace4 -v0 -f mace4.examples/group2.in | bin/interpformat tabular
>=== Mace4 starting on domain size 2. ===
>=== Mace4 starting on domain size 3. ===
>=== Mace4 starting on domain size 4. ===
>=== Mace4 starting on domain size 5. ===
>=== Mace4 starting on domain size 6. ===
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>ERROR, model reported, but clause not true!
>Fatal error:  possible_model, bad model found
>make: *** [Makefile:25: test2] Error 2
>RPM build errors:
>error: Bad exit status from /var/tmp/rpm-tmp.GEqDxx (%check)
>    Bad exit status from /var/tmp/rpm-tmp.GEqDxx (%check)
>Child return code was: 1
>EXCEPTION: [Error()]
>Traceback (most recent call last):
>  File "/usr/lib/python3.6/site-packages/mockbuild/trace_decorator.py", line 89, in trace
>    result = func(*args, **kw)
>  File "/usr/lib/python3.6/site-packages/mockbuild/util.py", line 582, in do
>    raise exception.Error("Command failed. See logs for output.\n # %s" % (command,), child.returncode)
>mockbuild.exception.Error: Command failed. See logs for output.
> # bash --login -c /usr/bin/rpmbuild -bb --target s390x --nodeps /builddir/build/SPECS/prover9.spec

Actions: View

Attachments on bug 1605505: 1465698 | 1465699 | 1465700