diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-25 00:02:11 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-25 00:02:11 +0000 |
| commit | fabd71bf0a6dd89ce6fb8cea48380a52aad7edc4 (patch) | |
| tree | c8af05db7ef87dc1cb75de8f5b78ff3bec2e6cde /Makefile.common | |
| parent | e42a614b850ce3f1ea008e2d0ba02c387eb0dccd (diff) | |
| download | klee-fabd71bf0a6dd89ce6fb8cea48380a52aad7edc4.tar.gz | |
Flesh out support for arbitrary bit widths in some key places (STP & constant
creation). - Not used yet. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@74142 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'Makefile.common')
0 files changed, 0 insertions, 0 deletions