diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-22 03:38:14 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-22 03:38:14 +0000 |
| commit | 93109234b9e7c5ba50441bbfab3dad02a77f8787 (patch) | |
| tree | 8fe55a83d5cbdffcf8e4b9a7c447141798a20c2b /www/Tutorials.html | |
| parent | a99507bc04f2c16e6de118795a63a074899df66b (diff) | |
| download | klee-93109234b9e7c5ba50441bbfab3dad02a77f8787.tar.gz | |
Store ConstantExpr's value as an APInt.
- In anticipation of supporting large constant values. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73871 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'www/Tutorials.html')
0 files changed, 0 insertions, 0 deletions