From 88893697f6630f0d281d21be6362489e616bca2f Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Tue, 22 Dec 2020 18:39:46 +0000 Subject: Refactored MaxStatis*Pct conditions into a separate function. --- lib/Core/Executor.h | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'lib/Core/Executor.h') diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index eb3417ae..ae960731 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -355,6 +355,10 @@ private: // current state, and one of the states may be null. StatePair fork(ExecutionState ¤t, ref condition, bool isInternal); + // If the MaxStatic*Pct limits have been reached, concretize the condition and + // return it. Otherwise, return the unmodified condition. + ref maxStaticPctChecks(ExecutionState ¤t, ref condition); + /// Add the given (boolean) condition as a constraint on state. This /// function is a wrapper around the state's addConstraint function /// which also manages propagation of implied values, -- cgit v1.2.3