ΒΆstd::string debugString(
Solver::Result::Status Status)
std::string debugString(
Solver::Result::Status Status)
Description
Returns a string representation of the result status of a SAT check.
Declared at: clang/include/clang/Analysis/FlowSensitive/DebugSupport.h:31
Parameters
- Solver::Result::Status Status