diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-14 22:02:23 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-14 22:02:23 +0000 |
| commit | 427f2cb75e769fd6552ff7054369ca5959ddcaf0 (patch) | |
| tree | 5be377eec3530653435e24711c8a34a6aac4fd47 /utils | |
| parent | 035aa2ced15f48b5565f1dd7381832721246efe1 (diff) | |
| download | klee-427f2cb75e769fd6552ff7054369ca5959ddcaf0.tar.gz | |
Add NonConstantExpr, so it is possible to statically type an expression that is
known to be not-constant. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73352 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'utils')
0 files changed, 0 insertions, 0 deletions