don't exit if clang plugin is used
MODIFY
tv/tv.cpp
tv/tv.cpp
@@ -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;

don't exit if clang plugin is used (#527)