diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2009-05-29 21:25:51 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2009-05-29 21:25:51 +0000 |
| commit | 489f3d421c525123baabd021da9a546b4f100d80 (patch) | |
| tree | 0716679716258ea8d4b303a2bcc69eab289761c4 /lib/Core/Executor.h | |
| parent | 4fa061a181f05c6c06de0185bee7f322b5ef0db9 (diff) | |
| download | klee-489f3d421c525123baabd021da9a546b4f100d80.tar.gz | |
Changed .ktest header from BOUT\n to KTEST. Old .bout files can still be read.
Increased KTEST version. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@72592 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core/Executor.h')
0 files changed, 0 insertions, 0 deletions