clang::ento::Z3CrosscheckVisitor::Z3Result Struct Reference

#include "clang/StaticAnalyzer/Core/BugReporter/Z3CrosscheckVisitor.h"

Public Attributes
std::optional< bool >	IsSAT = std::nullopt
unsigned	Z3QueryTimeMilliseconds = 0
unsigned	UsedRLimit = 0

Detailed Description

Definition at line 26 of file Z3CrosscheckVisitor.h.

Member Data Documentation

IsSAT

std::optional<bool> clang::ento::Z3CrosscheckVisitor::Z3Result::IsSAT = std::nullopt

Definition at line 27 of file Z3CrosscheckVisitor.h.

Referenced by clang::ento::Z3CrosscheckOracle::interpretQueryResult().

UsedRLimit

unsigned clang::ento::Z3CrosscheckVisitor::Z3Result::UsedRLimit = 0

Definition at line 29 of file Z3CrosscheckVisitor.h.

Referenced by clang::ento::Z3CrosscheckOracle::interpretQueryResult().

Z3QueryTimeMilliseconds

unsigned clang::ento::Z3CrosscheckVisitor::Z3Result::Z3QueryTimeMilliseconds = 0

Definition at line 28 of file Z3CrosscheckVisitor.h.

Referenced by clang::ento::Z3CrosscheckOracle::interpretQueryResult().

---

The documentation for this struct was generated from the following file:

• include/clang/StaticAnalyzer/Core/BugReporter/Z3CrosscheckVisitor.h