print int type in counterexamples
MODIFY
ir/type.cpp
ir/type.cpp
@@ -142,7 +142,7 @@ expr IntType::enforceIntOrPtrOrVectorType() const {
}
void IntType::print(ostream &os) const {
- if (defined)
+ if (bits())
os << 'i' << bits();
}

MODIFY
ir/type.h
ir/type.h
@@ -58,7 +58,7 @@ public:
class IntType final : public Type {
- unsigned bitwidth;
+ unsigned bitwidth = 0;
bool defined = false;
public:

print int type in counterexamples