fix print in AE

SVF-tools · May 15, 2024 · b39e8ab · b39e8ab
1 parent 8027ceb
commit b39e8ab
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/svf/lib/AE/Svfexe/AbstractInterpretation.cpp b/svf/lib/AE/Svfexe/AbstractInterpretation.cpp
@@ -1260,10 +1260,10 @@ void AbstractInterpretation::checkPointAllSet()
     }
     else
     {
-        SVFUtil::errs() << SVFUtil::sucMsg("There exists checkpoints not checked!!\n");
+        SVFUtil::errs() << SVFUtil::errMsg("At least one svf_assert has not been checked!!") << "\n";
         for (const CallICFGNode* call: _checkpoints)
         {
-            SVFUtil::errs() << SVFUtil::sucMsg(call->toString() + "\n");
+            SVFUtil::errs() << call->toString() + "\n";
         }
         assert(false);
     }