diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2010-06-28 14:01:15 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2010-06-28 14:01:15 +0000 |
| commit | ff0d675fc2861e34e1f0767af6b8b73e1a854889 (patch) | |
| tree | df1fa4bbf8cd69ffaa5783280f78321ac7c308bf /runtime/POSIX | |
| parent | f08eb87cae0835141e54ba4d8df7ca99442b6f64 (diff) | |
| download | klee-ff0d675fc2861e34e1f0767af6b8b73e1a854889.tar.gz | |
Fixed bug reported at:
http://llvm.org/bugs/show_bug.cgi?id=7515 Bug was caused by the different behavior of klee_range during KLEE execution vs. replay mode, for the case when start==end: during KLEE execution, klee_range returns start, while during replay it called klee_make_symbolic. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@107005 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'runtime/POSIX')
0 files changed, 0 insertions, 0 deletions