path: root/klee/test/Feature/ArbitraryBitWidths.ll

@g0 = global i31 10

define i32 @main() {
       ret i32 0
}