Hi, I want to seed a solution to evaluate the constraints of an ExecutionState ignore the expr. In klee, evaluate(ExecutionState, expr, Validity) evaluates the result of the expr (constraints--> expr), but now I only care about the satisfiability of the constraints. Another problem I faced is that I don't know how to track into the functions of SolverImpl, when I track the program it stop at the virtual declaration.
Cheers, Jingde
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
