make alive-tv summarize type errors properly
MODIFY
tools/alive-tv.cpp
tools/alive-tv.cpp
@@ -214,7 +214,8 @@ static bool compareFunctions(llvm::Function &F1, llvm::Function &F2,
if (!types) {
cerr << "Transformation doesn't verify!\n"
"ERROR: program doesn't type check!\n\n";
- return false;
+ ++errorCount;
+ return true;
}
assert(types.hasSingleTyping());
}

make alive-tv summarize type errors properly (#138)