llvm::SMTSolverStatistics::~SMTSolverStatistics

Destroy these solver statistics.

Synopsis

Declared in <llvm/Support/SMTAPI.h>

constexpr
virtual
~SMTSolverStatistics() = default;