From 7a640c68ba7517b4a64f2cd684e91bd3de804580 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Thu, 22 Feb 2024 22:37:34 +0000 Subject: Extend toConstant() to take an additional boolean argument that decides whether the expression is concretised. Also changed a C string argument to std::string. --- lib/Core/Executor.h | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) (limited to 'lib/Core/Executor.h') diff --git a/lib/Core/Executor.h b/lib/Core/Executor.h index d19758d4..7be056a1 100644 --- a/lib/Core/Executor.h +++ b/lib/Core/Executor.h @@ -387,14 +387,15 @@ private: /// value). Otherwise return the original expression. ref toUnique(const ExecutionState &state, ref &e); - /// Return a constant value for the given expression, forcing it to - /// be constant in the given state by adding a constraint if + /// Return a constant value for the given expression. If \param concretize is + /// true, the expression is forced to be a constant by adding a constraint if /// necessary. Note that this function breaks completeness and /// should generally be avoided. /// - /// \param purpose An identify string to printed in case of concretization. - ref toConstant(ExecutionState &state, ref e, - const char *purpose); + /// \param reason A documentation string stating the reason for concretization + ref toConstant(ExecutionState &state, ref e, + const std::string &reason, + bool concretize = true); /// Evaluate the given expression under each seed, and return the /// first one that results in a constant, if such a seed exist. Otherwise, -- cgit 1.4.1