cprover
|
Public Attributes | |
optionalt< goto_programt::const_targett > | representative_inst |
the program location to instrument for this block More... | |
source_locationt | source_location |
the source location representative for this block (we need a separate copy of source locations because we attach the line number ranges to them) More... | |
std::unordered_set< std::size_t > | lines |
the set of lines belonging to this block More... | |
Definition at line 90 of file cover_basic_blocks.h.
std::unordered_set<std::size_t> cover_basic_blockst::block_infot::lines |
the set of lines belonging to this block
Definition at line 101 of file cover_basic_blocks.h.
Referenced by cover_basic_blockst::update_covered_lines().
optionalt<goto_programt::const_targett> cover_basic_blockst::block_infot::representative_inst |
the program location to instrument for this block
Definition at line 93 of file cover_basic_blocks.h.
Referenced by cover_basic_blockst::report_block_anomalies().
source_locationt cover_basic_blockst::block_infot::source_location |
the source location representative for this block (we need a separate copy of source locations because we attach the line number ranges to them)
Definition at line 98 of file cover_basic_blocks.h.
Referenced by cover_basic_blockst::report_block_anomalies(), and cover_basic_blockst::update_covered_lines().