cprover
bmc_covert::testt Struct Reference
Collaboration diagram for bmc_covert::testt:
[legend]

Public Attributes

goto_tracet goto_trace
 
std::vector< irep_idtcovered_goals
 

Detailed Description

Definition at line 100 of file bmc_cover.cpp.

Member Data Documentation

◆ covered_goals

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

Definition at line 103 of file bmc_cover.cpp.

Referenced by bmc_covert::satisfying_assignment().

◆ goto_trace

goto_tracet bmc_covert::testt::goto_trace

Definition at line 102 of file bmc_cover.cpp.

Referenced by bmc_covert::satisfying_assignment().


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