message: alive-tv: disambiguate an alive problem (timeout, OOM, etc.) from an incorrect
diff: @@ -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;
  