diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-09 08:42:08 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-09 08:42:08 +0000 |
| commit | 58d1592fa3fd84aded956801183949b9c710490e (patch) | |
| tree | 097d091d23bf0f5906f9e3542531c5ddb39c4588 /tools | |
| parent | 54d8a1aee4b05daee1244ee1d34df8059a40d5a9 (diff) | |
| download | klee-58d1592fa3fd84aded956801183949b9c710490e.tar.gz | |
More constant Array support.
- The are parsed, printed, and solved now. - Remove some members of ArrayDecl which are only duplicates of Array members. - KLEE still doesn't create these, but you can write them by hand. The EXE style constant array optimization for STP (turning the initial writes into asserts) is now only a stones throw away, but I need to leave something fun to do tomorrow. :) git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73133 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions