Change #93
| Changed by | pcc |
| Changed at | Sun 12 Feb 2012 18:27:51 |
| Repository | http://llvm.org/svn/llvm-project/klee/trunk |
| Revision | 150355 |
Comments
Teach KLEE how to handle new ConstantDataSequential type. Patch by arrowdodger!
Changed files
- lib/Core/Executor.cpp