Source: cvc3
Version: 2.2-11
Severity: serious
Justification: FTBFS
Hi,
your package FTBFS in various ways, on various archs:
armel:
| Running API test, regress level = 0
|
| test(): {
| Lambda application: (LAMBDA (x: INT): x)(1)
| Simplified: 1
|
| }
| test1(): {
| Query: TRUE
| Valid
|
| Query: FALSE
| Invalid
|
| Query: (p OR NOT p)
| Valid
|
| Query: ((x = y) => (f(x) = f(y)))
| make[2]: *** [regress] Error 1
| make[1]: *** [regress0] Error 2
kfreebsd-amd64:
| Java API test
| *********************************************************
| /usr/bin/make -C java test 2>&1 \
| | tee -a regressions.log; [ ${PIPESTATUS[0]} -eq 0 ]
| make[3]: Entering directory
`/build/buildd-cvc3_2.2-11-kfreebsd-amd64-5_aMGU/cvc3-2.2/java'
| /usr/lib/jvm/default-java/bin/java -d64
-Djava.library.path=../java/lib/x86_64-kfreebsd-gnu -ea -jar
../java/lib/cvc3test.jar
| make[3]: *** [test] Bus error (core dumped)
kfreebsd-i386:
| Query: ((x = y) => (f(x) = f(y)))
| terminate called after throwing an instance of 'std::bad_alloc'
| what(): std::bad_alloc
| make[2]: *** [regress] Error 1
s390:
| Running API test, regress level = 0
|
| test(): {
| Lambda application: (LAMBDA (x: INT): x)(1)
| Simplified: 1
|
| }
| test1(): {
| Query: TRUE
| Valid
|
| Query: FALSE
| Invalid
|
| Query: (p OR NOT p)
| Valid
|
| Query: ((x = y) => (f(x) = f(y)))
| make[2]: *** [regress] Error 1
| make[1]: *** [regress0] Error 2
| make: *** [debian/stamp-makefile-check] Error 2
Full build logs:
https://buildd.debian.org/status/package.php?p=cvc3
Mraw,
KiBi.
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
