If opt_error_fatal is false, tv doesn't abort
MODIFY
tv/tv.cpp
tv/tv.cpp
@@ -331,7 +331,10 @@ struct TVPass final : public llvm::FunctionPass {
--initialized;
if (has_failure) {
+ if (opt_error_fatal)
cerr << "Alive2: Transform doesn't verify; aborting!" << endl;
+ else
+ cerr << "Alive2: Transform doesn't verify!" << endl;
exit(1);
}
return false;

If opt_error_fatal is false, tv doesn't abort (#520)