ΒΆstd::string debugString(
    ArrayRef<clang::dataflow::BoolValue*>
        Constraints,
    const Solver::Result& Result,
    llvm::DenseMap<const AtomicBoolValue*,
                   std::string> AtomNames = {{}})

Description

Returns a string representation for `Constraints` - a collection of boolean formulas and the `Result` of satisfiability checking. Atomic booleans appearing in `Constraints` and `Result` are assigned to labels either specified in `AtomNames` or created by default rules as B0, B1, ... Requirements: Names assigned to atoms should not be repeated in `AtomNames`.

Declared at: clang/include/clang/Analysis/FlowSensitive/DebugSupport.h:69

Parameters

ArrayRef<clang::dataflow::BoolValue*> Constraints
const Solver::Result& Result
llvm::DenseMap<const AtomicBoolValue*, std::string> AtomNames = {{}}