solver_optionst Class Reference

#include <solver.h>

Public Attributes
bool	trace
bool	verbose
std::size_t	loop_limit

Detailed Description

Definition at line 27 of file solver.h.

Member Data Documentation

loop_limit

std::size_t solver_optionst::loop_limit

Definition at line 32 of file solver.h.

trace

bool solver_optionst::trace

Definition at line 30 of file solver.h.

verbose

bool solver_optionst::verbose

Definition at line 31 of file solver.h.

---

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

• /home/runner/work/cbmc/cbmc/src/cprover/solver.h