message: don't exit if clang plugin is used
diff: @@ -335,6 +335,8 @@ struct TVPass final : public llvm::FunctionPass {
  cerr << "Alive2: Transform doesn't verify; aborting!" << endl;
  else
  cerr << "Alive2: Transform doesn't verify!" << endl;
  +
  + if (!is_clangtv)
  exit(1);
  }
  return false;
  