ccadar/klee — pull request #45 by hpalikareva (2013-10-17 16:13:00+00:00)
Title: Fixed solver-related nondeterminism in test case ./test/Feature/ExprLogg...

...ing.c -- using the counterexample cache affects the total number of queries issued to the solver.