Source: cvc4 Version: 1.5-1 Severity: important Tags: upstream Justification: fails to build from source User: debian-sp...@lists.debian.org
The build of cvc4 for sparc64 (admittedly not a release architecture) encountered even more test suite failures than other non-x86 builds, as detailed at https://buildd.debian.org/status/fetch.php?pkg=cvc4&arch=sparc64&ver=1.5-1&stamp=1509309061&raw=0 Most if not all of these failures stemmed from bus errors, which generally correspond to unaligned memory access attempts. Could you please take a look? Thanks! FTR, the overall testing summary was =============================== TESTING SUMMARY ============================= 150 TOTAL, 6 PASS, 144 FAIL /.../production/test/regress/regress0/test-suite.log 32 TOTAL, 32 FAIL /.../production/test/regress/regress0/arith/test-suite.log 14 TOTAL, 14 FAIL /.../production/test/regress/regress0/arith/integers/test-suite.log 32 TOTAL, 32 FAIL /.../production/test/regress/regress0/arrays/test-suite.log 37 TOTAL, 37 FAIL /.../production/test/regress/regress0/aufbv/test-suite.log 11 TOTAL, 11 FAIL /.../production/test/regress/regress0/auflia/test-suite.log 86 TOTAL, 86 FAIL /.../production/test/regress/regress0/bv/test-suite.log 65 TOTAL, 65 FAIL /.../production/test/regress/regress0/bv/core/test-suite.log 62 TOTAL, 1 PASS, 61 FAIL /.../production/test/regress/regress0/datatypes/test-suite.log 18 TOTAL, 18 FAIL /.../production/test/regress/regress0/decision/test-suite.log 8 TOTAL, 8 FAIL /.../production/test/regress/regress0/expect/test-suite.log 56 TOTAL, 56 FAIL /.../production/test/regress/regress0/fmf/test-suite.log 4 TOTAL, 4 FAIL /.../production/test/regress/regress0/lemmas/test-suite.log 29 TOTAL, 29 FAIL /.../production/test/regress/regress0/nl/test-suite.log 4 TOTAL, 4 FAIL /.../production/test/regress/regress0/parser/test-suite.log 18 TOTAL, 18 FAIL /.../production/test/regress/regress0/precedence/test-suite.log 16 TOTAL, 16 FAIL /.../production/test/regress/regress0/preprocess/test-suite.log 24 TOTAL, 24 FAIL /.../production/test/regress/regress0/push-pop/test-suite.log 21 TOTAL, 21 FAIL /.../production/test/regress/regress0/push-pop/arith/test-suite.log 51 TOTAL, 51 FAIL /.../production/test/regress/regress0/push-pop/boolean/test-suite.log 74 TOTAL, 74 FAIL /.../production/test/regress/regress0/quantifiers/test-suite.log 93 TOTAL, 93 FAIL /.../production/test/regress/regress0/rels/test-suite.log 7 TOTAL, 7 FAIL /.../production/test/regress/regress0/rewriterules/test-suite.log 39 TOTAL, 39 FAIL /.../production/test/regress/regress0/sep/test-suite.log 68 TOTAL, 68 FAIL /.../production/test/regress/regress0/sets/test-suite.log 70 TOTAL, 70 FAIL /.../production/test/regress/regress0/strings/test-suite.log 33 TOTAL, 33 FAIL /.../production/test/regress/regress0/sygus/test-suite.log 27 TOTAL, 27 FAIL /.../production/test/regress/regress0/tptp/test-suite.log 33 TOTAL, 33 FAIL /.../production/test/regress/regress0/uf/test-suite.log 20 TOTAL, 20 FAIL /.../production/test/regress/regress0/uflia/test-suite.log 20 TOTAL, 20 FAIL /.../production/test/regress/regress0/uflra/test-suite.log 47 TOTAL, 47 FAIL /.../production/test/regress/regress0/unconstrained/test-suite.log 5 TOTAL, 2 PASS, 3 FAIL /.../production/test/system/test-suite.log 4 TOTAL, 4 PASS in unit =============================== TESTING SUMMARY ============================= -- Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org) http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?a...@monk.mit.edu
