cprover
bmc_covert::goalt::instancet Struct Reference
Collaboration diagram for bmc_covert::goalt::instancet:
[legend]

Public Attributes

symex_target_equationt::SSA_stepst::iterator step
 
literalt condition
 

Detailed Description

Definition at line 54 of file bmc_cover.cpp.

Member Data Documentation

◆ condition

literalt bmc_covert::goalt::instancet::condition

Definition at line 57 of file bmc_cover.cpp.

◆ step

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

Definition at line 56 of file bmc_cover.cpp.


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