Options for printing the trace using show_goto_trace. More...
#include <goto_trace.h>
Collaboration diagram for trace_optionst:Public Member Functions | |
| trace_optionst (const optionst &options) | |
Public Attributes | |
| bool | json_full_lhs |
| Add rawLhs property to trace. More... | |
| bool | hex_representation |
| Represent plain trace values in hex. More... | |
| bool | base_prefix |
Use prefix (0b or 0x) for distinguishing the base of the representation. More... | |
| bool | show_function_calls |
| Show function calls in plain text trace. More... | |
| bool | show_code |
| Show original code in plain text trace. More... | |
| bool | compact_trace |
| Give a compact trace. More... | |
| bool | stack_trace |
| Give a stack trace only. More... | |
Static Public Attributes | |
| static const trace_optionst | default_options = trace_optionst() |
Private Member Functions | |
| trace_optionst () | |
Detailed Description
Options for printing the trace using show_goto_trace.
Definition at line 220 of file goto_trace.h.
Constructor & Destructor Documentation
◆ trace_optionst() [1/2]
|
inlineexplicit |
Definition at line 240 of file goto_trace.h.
◆ trace_optionst() [2/2]
|
inlineprivate |
Definition at line 252 of file goto_trace.h.
Member Data Documentation
◆ base_prefix
| bool trace_optionst::base_prefix |
Use prefix (0b or 0x) for distinguishing the base of the representation.
Definition at line 228 of file goto_trace.h.
◆ compact_trace
| bool trace_optionst::compact_trace |
Give a compact trace.
Definition at line 234 of file goto_trace.h.
◆ default_options
|
static |
Definition at line 238 of file goto_trace.h.
◆ hex_representation
| bool trace_optionst::hex_representation |
Represent plain trace values in hex.
Definition at line 225 of file goto_trace.h.
◆ json_full_lhs
| bool trace_optionst::json_full_lhs |
Add rawLhs property to trace.
Definition at line 223 of file goto_trace.h.
◆ show_code
| bool trace_optionst::show_code |
Show original code in plain text trace.
Definition at line 232 of file goto_trace.h.
◆ show_function_calls
| bool trace_optionst::show_function_calls |
Show function calls in plain text trace.
Definition at line 230 of file goto_trace.h.
◆ stack_trace
| bool trace_optionst::stack_trace |
Give a stack trace only.
Definition at line 236 of file goto_trace.h.
The documentation for this struct was generated from the following files:
- /home/runner/work/cbmc/cbmc/src/goto-programs/goto_trace.h
- /home/runner/work/cbmc/cbmc/src/goto-programs/goto_trace.cpp
