CBMC
Loading...
Searching...
No Matches
Public Attributes | List of all members
default_trace_stept Struct Reference

#include <structured_trace_util.h>

+ Collaboration diagram for default_trace_stept:
[フレーム]
[legend]

Public Attributes

default_step_kindt  kind
 
bool  hidden
 
unsigned  thread_number
 
std::size_t  step_number
 
source_locationt  location
 

Detailed Description

Definition at line 40 of file structured_trace_util.h.

Member Data Documentation

◆  hidden

bool default_trace_stept::hidden

Definition at line 43 of file structured_trace_util.h.

◆  kind

default_step_kindt default_trace_stept::kind

Definition at line 42 of file structured_trace_util.h.

◆  location

source_locationt default_trace_stept::location

Definition at line 46 of file structured_trace_util.h.

◆  step_number

std::size_t default_trace_stept::step_number

Definition at line 45 of file structured_trace_util.h.

◆  thread_number

unsigned default_trace_stept::thread_number

Definition at line 44 of file structured_trace_util.h.

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

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