From 126387bc7921e892d4a5b75a8874242527cc8111 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 22 Dec 2020 21:01:44 +0000 Subject: Added a warning when forking is skipped due to MaxStatic*Pct limits being reached --- lib/Core/Executor.cpp | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'lib') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index cc3ac50f..7bfc0dac 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -1003,6 +1003,13 @@ ref Executor::maxStaticPctChecks(ExecutionState ¤t, current.queryMetaData); assert(success && "FIXME: Unhandled solver failure"); (void)success; + + std::string msg("skipping fork and concretizing condition (MaxStatic*Pct " + "limit reached) at "); + llvm::raw_string_ostream os(msg); + os << current.prevPC->getSourceLocation(); + klee_warning_once(0, "%s", os.str().c_str()); + addConstraint(current, EqExpr::create(value, condition)); condition = value; } -- cgit 1.4.1