Bug#880146: cvc4: FTBFS on non-x86: test suite errors

[Aaron M. Ucko]

Source: cvc4
Version: 1.5-1
Severity: important
Tags: upstream
Justification: fails to build from source

All non-x86 builds of cvc4 to date have failed with test suite errors,
as detailed at

https://buildd.debian.org/status/logs.php?pkg=cvc4&ver=1.5-1

So far, these errors have occurred on arm64, ppc64el, s390x, and the
non-release architectures powerpc, ppc64, and sparc64.  On almost all
of these architectures, the testing summary took the form

  =============================== TESTING SUMMARY =============================
  150 TOTAL, 136 PASS, 14 FAIL
      /.../production/test/regress/regress0/test-suite.log
  32 TOTAL, 32 PASS              in regress/regress0/arith
  14 TOTAL, 14 PASS              in regress/regress0/arith/integers
  32 TOTAL, 12 PASS, 20 FAIL
      /.../production/test/regress/regress0/arrays/test-suite.log
  37 TOTAL, 31 PASS, 6 FAIL
      /.../production/test/regress/regress0/aufbv/test-suite.log
  11 TOTAL, 11 PASS              in regress/regress0/auflia
  86 TOTAL, 60 PASS, 26 FAIL
      /.../production/test/regress/regress0/bv/test-suite.log
  65 TOTAL, 4 PASS, 61 FAIL
      /.../production/test/regress/regress0/bv/core/test-suite.log
  62 TOTAL, 62 PASS              in regress/regress0/datatypes
  18 TOTAL, 12 PASS, 6 FAIL
      /.../production/test/regress/regress0/decision/test-suite.log
  [long run of fully successful tests elided]
  33 TOTAL, 9 PASS, 24 FAIL
      /.../production/test/regress/regress0/uf/test-suite.log
  [shorter run of fully successful tests elided]
  =============================== TESTING SUMMARY =============================

The one exception was sparc64, which encountered many more errors;
I'll report a separate bug for that architecture.

Could you please take a look?

Thanks!

-- 
Aaron M. Ucko, KB1CJC (amu at alum.mit.edu, ucko at debian.org)
http://www.mit.edu/~amu/ | http://stuff.mit.edu/cgi/finger/?amu@monk.mit.edu