Bug#636772: Segfaults with --pre argument upon certain input

Thomas Krennwallner tkren at kr.tuwien.ac.at
Sun Aug 28 06:02:07 UTC 2011


Dear Joachim,

On Fri Aug 05, 2011 09:44:30PM +0200, Joachim Breitner wrote:
> I don’t know if this particular use of clasp is actually a sensible
> invocation, but given the attached file, it crashes with a SEGFAULT if
> called as
> $ clasp --pre relaxation-2011-08-04.wcnf
> 
> If something is unsuitable with the input for this mode of operation, a
> warning should be emitted.

Sorry for the late reply, this email went unnoticed. It should be fixed
with clasp 2.0.3.

Best,
TK

-- 
Thomas Krennwallner
University assistant
.
TU Wien - Vienna University of Technology
Institute of Information Systems
Favoritenstrasse 9-11, 1040 Wien, Austria
.
T: +43 1 58801 18469   F: +43 1 58801 918469
tkren AT kr DOT tuwien DOT ac DOT at
http://www.kr.tuwien.ac.at/staff/tkren/
.
DVR: 0005886





More information about the debian-science-maintainers mailing list