Bug#970511: cvc4: test failures on various architectures

[Fabian Wolff]

Source: cvc4
Version: 1.8-1
Severity: important

CVC4 1.8-1 fails to build on several release architectures due to a
few test case failures [0]. I have reported the issue upstream [1].

I am going to reupload the cvc4 package soon with the test cases in
question disabled, as a temporary solution, and I'm opening this bug
report to remain aware of the problem.

[0] https://buildd.debian.org/status/logs.php?pkg=cvc4&ver=1.8-1
[1] https://github.com/CVC4/CVC4/issues/5082