about summary refs log tree commit diff homepage
path: root/lib/Expr/Parser.cpp
diff options
context:
space:
mode:
authorDaniel Dunbar <daniel@zuster.org>2009-06-10 06:18:37 +0000
committerDaniel Dunbar <daniel@zuster.org>2009-06-10 06:18:37 +0000
commit7561acc8b346028bc6eb586ea76b5b2a9400140c (patch)
tree3b1cf15a0f2da08e4d2ce0e221c5ca2521070e49 /lib/Expr/Parser.cpp
parent6517b3a69deac9faacb5139efa44511e5d2a197f (diff)
downloadklee-7561acc8b346028bc6eb586ea76b5b2a9400140c.tar.gz
Change ExecutionState::symbolics to include both the MemoryObject and the
symbolic Array.


git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73161 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Expr/Parser.cpp')
0 files changed, 0 insertions, 0 deletions