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 /test/Feature | |
| 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 'test/Feature')
| -rw-r--r-- | test/Feature/ArbitraryBitWidths.ll | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/Feature/ArbitraryBitWidths.ll b/test/Feature/ArbitraryBitWidths.ll new file mode 100644 index 00000000..34e3ee78 --- /dev/null +++ b/test/Feature/ArbitraryBitWidths.ll @@ -0,0 +1,5 @@ +@g0 = global i31 10 + +define i32 @main() { + ret i32 0 +} \ No newline at end of file |