Your message dated Mon, 12 Apr 2010 19:42:35 -0400
with message-id
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 wi
Michael Tautschnig reports:
The problem, at least for most of the build failures, is a very simple one: An
endianness issue, which actually lies in the original MiniSat code. The
declaration of d_assigns in line 251 of src/sat/minisat_solver.h declares the
assignments as a vector of chars; assign
This version of the bug is for tracking the failures on armel,
powerpc, and s390. (armel doesn't print the std::bad_alloc message,
but it fails in the same place. Let's assume this is the same bug for
now.)
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "u
3 matches
Mail list logo
