CBMC
Public Member Functions | Public Attributes | List of all members
symex_coveraget::coverage_infot Struct Reference

#include <symex_coverage.h>

Public Member Functions

 coverage_infot (goto_programt::const_targett _from, goto_programt::const_targett _to, unsigned _num_executions)
 

Public Attributes

goto_programt::const_targett location
 
unsigned num_executions
 
goto_programt::const_targett succ
 

Detailed Description

Definition at line 52 of file symex_coverage.h.

Constructor & Destructor Documentation

◆ coverage_infot()

symex_coveraget::coverage_infot::coverage_infot ( goto_programt::const_targett  _from,
goto_programt::const_targett  _to,
unsigned  _num_executions 
)
inline

Definition at line 54 of file symex_coverage.h.

Member Data Documentation

◆ location

goto_programt::const_targett symex_coveraget::coverage_infot::location

Definition at line 62 of file symex_coverage.h.

◆ num_executions

unsigned symex_coveraget::coverage_infot::num_executions

Definition at line 63 of file symex_coverage.h.

◆ succ

goto_programt::const_targett symex_coveraget::coverage_infot::succ

Definition at line 64 of file symex_coverage.h.

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