diff options
| author | Daniel Dunbar <daniel@zuster.org> | 2009-06-25 00:05:45 +0000 |
|---|---|---|
| committer | Daniel Dunbar <daniel@zuster.org> | 2009-06-25 00:05:45 +0000 |
| commit | e2bed2d71121ac171953e9a0b84275ee38b5547f (patch) | |
| tree | 3b224149039c9fb484d0ef37fc24e85c14099893 /klee/test | |
| parent | 58b82a25d043de2cca1da51054ae897fb014a195 (diff) | |
Didn't mean to check this in.
Diffstat (limited to 'klee/test')
| -rw-r--r-- | klee/test/Feature/ArbitraryBitWidths.ll | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/klee/test/Feature/ArbitraryBitWidths.ll b/klee/test/Feature/ArbitraryBitWidths.ll deleted file mode 100644 index 34e3ee788d6..00000000000 --- a/klee/test/Feature/ArbitraryBitWidths.ll +++ /dev/null @@ -1,5 +0,0 @@ -@g0 = global i31 10 - -define i32 @main() { - ret i32 0 -}
\ No newline at end of file |