From b39e8ab82644e7770baae45ee11bedef9dfd5aa7 Mon Sep 17 00:00:00 2001 From: Yulei Sui Date: Wed, 15 May 2024 23:32:51 +1000 Subject: [PATCH] fix print in AE --- svf/lib/AE/Svfexe/AbstractInterpretation.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/svf/lib/AE/Svfexe/AbstractInterpretation.cpp b/svf/lib/AE/Svfexe/AbstractInterpretation.cpp index f41ec043b..7065e36f7 100644 --- 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); }