cprover
bmc_covert::goalt::instancet Struct Reference
+ Collaboration diagram for bmc_covert::goalt::instancet:

Public Attributes

symex_target_equationt::SSA_stepst::iterator step
 
literalt condition
 

Detailed Description

Definition at line 52 of file bmc_cover.cpp.

Member Data Documentation

◆ condition

literalt bmc_covert::goalt::instancet::condition

Definition at line 55 of file bmc_cover.cpp.

◆ step

symex_target_equationt::SSA_stepst::iterator bmc_covert::goalt::instancet::step

Definition at line 54 of file bmc_cover.cpp.


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