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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
