diff options
| author | Peter Collingbourne <peter@pcc.me.uk> | 2012-02-12 22:54:22 +0000 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-02-12 22:54:22 +0000 |
| commit | 710b2fbe5445a843bba2f0edca038b3c9252bc64 (patch) | |
| tree | 8be8fe1e334bfe4255b44ee97fedce2c354b1429 /configure | |
| parent | 211c714dede4960774fb8b20a75289e5aa4bae79 (diff) | |
| download | klee-710b2fbe5445a843bba2f0edca038b3c9252bc64.tar.gz | |
Teach KLEE how to handle new ConstantDataSequential type.
Patch by arrowdodger! git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@150355 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions