cprover
|
#include <goto_trace.h>
Public Member Functions | |
trace_optionst (const optionst &options) | |
Public Attributes | |
bool | json_full_lhs |
bool | hex_representation |
bool | base_prefix |
bool | show_function_calls |
bool | show_code |
Static Public Attributes | |
static const trace_optionst | default_options = trace_optionst() |
Private Member Functions | |
trace_optionst () | |
Definition at line 198 of file goto_trace.h.
|
inlineexplicit |
Definition at line 208 of file goto_trace.h.
References base_prefix, optionst::get_bool_option(), hex_representation, json_full_lhs, show_code, and show_function_calls.
|
inlineprivate |
Definition at line 218 of file goto_trace.h.
References base_prefix, hex_representation, json_full_lhs, show_code, and show_function_calls.
bool trace_optionst::base_prefix |
Definition at line 202 of file goto_trace.h.
Referenced by numeric_representation(), and trace_optionst().
|
static |
Definition at line 206 of file goto_trace.h.
Referenced by show_goto_trace().
bool trace_optionst::hex_representation |
Definition at line 201 of file goto_trace.h.
Referenced by numeric_representation(), and trace_optionst().
bool trace_optionst::json_full_lhs |
Definition at line 200 of file goto_trace.h.
Referenced by convert_decl(), and trace_optionst().
bool trace_optionst::show_code |
Definition at line 204 of file goto_trace.h.
Referenced by show_state_header(), and trace_optionst().
bool trace_optionst::show_function_calls |
Definition at line 203 of file goto_trace.h.
Referenced by show_goto_trace(), and trace_optionst().