CBMC
Loading...
Searching...
No Matches
Public Attributes | List of all members
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

AltStyle によって変換されたページ (->オリジナル) /