diff options
| -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 |