diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-07-28 08:32:39 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-07-28 08:32:39 +0000 |
| commit | eeb204f466cb51143d7371ea0847df1eaa8f77c2 (patch) | |
| tree | 34c7af9347aadd9a62608d7294df3810e3f6687f /lib/Core/Common.cpp | |
| parent | df7a33107ede974d52bd1662d9e35838a24cc130 (diff) | |
| download | klee-eeb204f466cb51143d7371ea0847df1eaa8f77c2.tar.gz | |
KLEE64: Regardless of the target, offsets in the memory subsystem are 32-bits. I
don't think anyone is going to be doing symbolic execution with > 4GB buffers any time soon, and this is slightly simpler. - We know pass about half of KLEE's test suite on Darwin x86_64. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77309 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Core/Common.cpp')
0 files changed, 0 insertions, 0 deletions