14 #ifndef CPROVER_GOTO_INSTRUMENT_COVER_H 15 #define CPROVER_GOTO_INSTRUMENT_COVER_H 80 #endif // CPROVER_GOTO_INSTRUMENT_COVER_H
A collection of function filters to be applied in conjunction.
void instrument_cover_goals(const symbol_tablet &, goto_functionst &, coverage_criteriont, message_handlert &message_handler)
Coverage Instrumentation.
bool traces_must_terminate
A generic container class for the GOTO intermediate representation of one function.
void parse_cover_options(const cmdlinet &, optionst &)
Parses coverage-related command line options.
std::unique_ptr< cover_configt > get_cover_config(const optionst &, const symbol_tablet &, message_handlert &)
Build data structures controlling coverage from command-line options.
Filters for the Coverage Instrumentation.
goto_programt coverage_criteriont message_handlert & message_handler
cover_instrumenterst cover_instrumenters
A collection of instrumenters to be run.
function_filterst function_filters
goal_filterst goal_filters
A collection of goal filters to be applied in conjunction.
Interface providing access to a single function in a GOTO model, plus its associated symbol table...