[klee-dev] Coreutils: STP division by zero errors and computeValue assertion failures

[Daniel Liew]

On 8 October 2014 11:02, Cadar, Cristian <c.cadar at imperial.ac.uk> 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