Your message dated Mon, 12 Apr 2010 19:42:35 -0400
with message-id <l2g4a051d931004121642w8929341fo9ecf72aca0014...@mail.gmail.com>
and subject line Version: 2.2-13
has caused the Debian Bug report #575002,
regarding std::bad_alloc thrown in regression tests [armel powerpc s390]
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
575002: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=575002
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
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.
--- End Message ---
--- Begin Message ---
Version: 2.2-13
--- End Message ---
