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 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org