ROSE  0.9.9.168
Public Attributes | List of all members
Rose::BinaryAnalysis::SmtSolver::Stats Struct Reference

Description

SMT solver statistics.

Definition at line 65 of file BinarySmtSolver.h.

#include <BinarySmtSolver.h>

Public Attributes

size_t ncalls
 Number of times satisfiable() was called. More...
 
size_t input_size
 Bytes of input generated for satisfiable(). More...
 
size_t output_size
 Amount of output produced by the SMT solver. More...
 

Member Data Documentation

size_t Rose::BinaryAnalysis::SmtSolver::Stats::ncalls

Number of times satisfiable() was called.

Definition at line 67 of file BinarySmtSolver.h.

size_t Rose::BinaryAnalysis::SmtSolver::Stats::input_size

Bytes of input generated for satisfiable().

Definition at line 68 of file BinarySmtSolver.h.

size_t Rose::BinaryAnalysis::SmtSolver::Stats::output_size

Amount of output produced by the SMT solver.

Definition at line 69 of file BinarySmtSolver.h.


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