alive-tv: disambiguate an alive problem (timeout, OOM, etc.) from an incorrect
MODIFY
tools/alive-tv.cpp
tools/alive-tv.cpp
@@ -223,8 +223,13 @@ static bool compareFunctions(llvm::Function &F1, llvm::Function &F2,
Errors errs = verifier.verify();
bool result(errs);
if (result) {
+ if (errs.isUnsound()) {
cerr << "Transformation doesn't verify!\n" << errs << endl;
++badCount;
+ } else {
+ cerr << errs << endl;
+ ++errorCount;
+ }
} else {
cerr << "Transformation seems to be correct!\n\n";
++goodCount;

alive-tv: disambiguate an alive problem (timeout, OOM, etc.) from an incorrect (#148)