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

"Aaron M. Ucko" writes: > 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=1.5-1 FTR, there has now been one successful non-x86 build, on mips. Meanwhile, the armel and armhf builds

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

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=1.5-1 So far, these errors have occurred on arm64,