diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-06-19 14:30:26 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-06-19 14:30:26 +0000 |
| commit | 87d1428fb69c6c278ed2eb663cebdfb7c4c6d859 (patch) | |
| tree | ce70aff4dca10a4f5b9c390dc7f15a5cb8fa371a /lib/Solver/FastCexSolver.cpp | |
| parent | 2234ee6cdbe8b5a160ddba9d7e67c87a014eaa69 (diff) | |
| download | klee-87d1428fb69c6c278ed2eb663cebdfb7c4c6d859.tar.gz | |
Patch by Oscar Dustmann: "A pure-debug loop that only contained
assertions was intended to be prevented to being seen by the compiler
if and only if assertions were off altogher. However, due to the
omission of the letter 'n' in ifndef, the loop was compiled if and
only if assertions were *ON*. Thus the expression inside the
assertion, was *never* compiled, let alone checked in 'Foo+Asserts'
builds. Also, it was syntactically incorrect."
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@158720 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Solver/FastCexSolver.cpp')
0 files changed, 0 insertions, 0 deletions