cprover
bmc_covert::testt Struct Reference
+ Collaboration diagram for bmc_covert::testt:

Public Attributes

goto_tracet goto_trace
 
std::vector< irep_idtcovered_goals
 

Detailed Description

Definition at line 101 of file bmc_cover.cpp.

Member Data Documentation

◆ covered_goals

std::vector<irep_idt> bmc_covert::testt::covered_goals

Definition at line 104 of file bmc_cover.cpp.

◆ goto_trace

goto_tracet bmc_covert::testt::goto_trace

Definition at line 103 of file bmc_cover.cpp.


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