cprover
|
A collection of instrumenters to be run. More...
#include <cover_instrument.h>
Public Member Functions | |
void | add_from_criterion (coverage_criteriont, const symbol_tablet &, const goal_filterst &) |
Create and add an instrumenter based on the given criterion. More... | |
void | operator() (goto_programt &goto_program, const cover_blocks_baset &basic_blocks) const |
Applies all instrumenters to the given goto program. More... | |
Private Attributes | |
std::vector< std::unique_ptr< cover_instrumenter_baset > > | instrumenters |
A collection of instrumenters to be run.
Definition at line 85 of file cover_instrument.h.
void cover_instrumenterst::add_from_criterion | ( | coverage_criteriont | criterion, |
const symbol_tablet & | symbol_table, | ||
const goal_filterst & | goal_filters | ||
) |
Create and add an instrumenter based on the given criterion.
criterion | the coverage criterion |
symbol_table | the symbol table |
goal_filters | goal filters to discard certain goals |
Definition at line 81 of file cover.cpp.
References ASSERTION, BRANCH, CONDITION, COVER, criterion, DECISION, instrumenters, LOCATION, MCDC, PATH, and goto_modelt::symbol_table.
Referenced by get_cover_config().
|
inline |
Applies all instrumenters to the given goto program.
goto_program | a goto program |
basic_blocks | detected basic blocks of the goto program |
Definition at line 96 of file cover_instrument.h.
References goto_program, and instrumenters.
|
private |
Definition at line 105 of file cover_instrument.h.
Referenced by add_from_criterion(), and operator()().