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

[Cristian Cadar]

On 09/10/14 08:31, Emil Rakadjiev wrote:
> Besides the div zero issue, I also saw this other error: virtual bool
> CexCachingSolver::computeValue(const klee::Query&,
> klee::ref<klee::Expr>&): Assertion `a && "computeValue() must have
> assignment"' failed.
> (...)
> KLEE: watchdog exiting (no child)
In what benchmark?  Is this reproducible?

Thanks,
Cristian