CBMC
Public Attributes | List of all members
default_trace_stept Struct Reference

#include <structured_trace_util.h>

+ Collaboration diagram for default_trace_stept:

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: