diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-14 21:11:53 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-14 21:11:53 +0000 |
| commit | c753b579533997ba1ebc4c1aeeb22d474681ea94 (patch) | |
| tree | 2f1b900e57fe2d27a82fb97e89a85791b8592519 /include | |
| parent | 793fbf410c1929430844b3afdbc160492c6ff9e6 (diff) | |
| download | klee-c753b579533997ba1ebc4c1aeeb22d474681ea94.tar.gz | |
The expansion for Read{MSB,LSB} needs to continue to use the folding methods,
otherwise we build expressions that won't be matched later when we print them. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73347 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions