diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-07 07:59:12 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-07 07:59:12 +0000 |
| commit | ea8e1675032639bde55c278635f61ca3a08b7a01 (patch) | |
| tree | 96cd177651eb2444eaf1f55d7dfd0f5fede5ec32 /include/expr | |
| parent | 24e065075e7ec973db84639725696b9f84975b2f (diff) | |
| download | klee-ea8e1675032639bde55c278635f61ca3a08b7a01.tar.gz | |
Make sure to make up a valid VersionResult on failures.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73019 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include/expr')
0 files changed, 0 insertions, 0 deletions