add nondet function for i128 (1bbfb554) · Commits · Adéla Štěpková / reverser

src/core/helperFunctionsBuilder.cpp

+3 −0

Original line number	Diff line number	Diff line
		@@ -18,6 +18,9 @@ std::string HelperFunctionsBuilder::getTypeNameC(const llvm::Type* type)
		if (type->isIntegerTy(64)) {
		return "long";
		}
		if (type->isIntegerTy(128)) {
		return "int128";
		}
		if (type->isFloatTy()) {
		return "float";
		}