diff options
| author | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2013-10-17 17:11:22 +0100 |
|---|---|---|
| committer | Hristina Palikareva <h.palikareva@imperial.ac.uk> | 2013-10-17 17:11:22 +0100 |
| commit | 1ee4fbfcd1a8badb1e907e0cb303f02bda49e2e6 (patch) | |
| tree | 1937c0024a5147449c112a4e0dc21ce371cde3d5 /lib/Core/Executor.cpp | |
| parent | c13d489873721c10f77dcb66276e8c5585e62aee (diff) | |
| download | klee-1ee4fbfcd1a8badb1e907e0cb303f02bda49e2e6.tar.gz | |
Fixed solver-related nondeterminism in test case ./test/Feature/ExprLogging.c -- using the counterexample cache affects the total number of queries issued to the solver.
Diffstat (limited to 'lib/Core/Executor.cpp')
0 files changed, 0 insertions, 0 deletions