On 8 October 2014 11:02, Cadar, Cristian <[email protected]> wrote: > Hi Emil, > > What version of STP did you use for these experiments? > If r940, I would try a more recent version of STP. In fact, we would > like to start recommending a more recent version, but we'd like to have > more experience with this first. > > The usual cause of this problem is the stack size, but you say you've > already double-checked that. To debug this further, I would suggest to > log the STP queries, reproduce the problem outside KLEE and then report > it to the STP developers.
Just to note there is a known issue with division by zero in STP https://github.com/stp/stp/issues/106 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
