diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2009-06-13 21:53:05 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2009-06-13 21:53:05 +0000 |
| commit | 541b4a8205de9d5bce4e9939ac4a94d1ac39e562 (patch) | |
| tree | fc6bdead562fa08caf1e1ea5802bcecbfbc0e478 /lib/Core/ImpliedValue.h | |
| parent | 1f55a4cd1f646df72ef79f0e1520281a4809f49a (diff) | |
| download | klee-541b4a8205de9d5bce4e9939ac4a94d1ac39e562.tar.gz | |
Fix for the issue reported and diagnosed by Seungbeom, where KLEE was
skipping forks without reporting it. Added a warning the first time a fork is skipped for each of four different reasons. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73307 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core/ImpliedValue.h')
0 files changed, 0 insertions, 0 deletions