ΒΆ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