#include <goto_trace.h>
Definition at line 196 of file goto_trace.h.
◆ trace_optionst() [1/2]
trace_optionst::trace_optionst |
( |
const optionst & |
options | ) |
|
|
inlineexplicit |
◆ trace_optionst() [2/2]
trace_optionst::trace_optionst |
( |
| ) |
|
|
inlineprivate |
◆ base_prefix
bool trace_optionst::base_prefix |
◆ compact_trace
bool trace_optionst::compact_trace |
◆ default_options
◆ hex_representation
bool trace_optionst::hex_representation |
◆ json_full_lhs
bool trace_optionst::json_full_lhs |
◆ show_code
bool trace_optionst::show_code |
◆ show_function_calls
bool trace_optionst::show_function_calls |
◆ stack_trace
bool trace_optionst::stack_trace |
The documentation for this struct was generated from the following files: