cprover
cover_basic_blockst::block_infot Struct Reference
Collaboration diagram for cover_basic_blockst::block_infot:
[legend]

Public Attributes

optionalt< goto_programt::const_targettrepresentative_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...
 

Detailed Description

Definition at line 90 of file cover_basic_blocks.h.

Member Data Documentation

◆ lines

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().

◆ representative_inst

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_location

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().


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