|
void | instrument_cover_goals (goto_programt &goto_program, const cover_instrumenterst &instrumenters, const irep_idt &mode, message_handlert &message_handler) |
| Applies instrumenters to given goto program. More...
|
|
void | instrument_cover_goals (const symbol_tablet &symbol_table, goto_programt &goto_program, coverage_criteriont criterion, message_handlert &message_handler) |
| Instruments goto program for a given coverage criterion. More...
|
|
coverage_criteriont | parse_coverage_criterion (const std::string &criterion_string) |
| Parses a coverage criterion. More...
|
|
void | parse_cover_options (const cmdlinet &cmdline, optionst &options) |
| Parses coverage-related command line options. More...
|
|
std::unique_ptr< cover_configt > | get_cover_config (const optionst &options, const symbol_tablet &symbol_table, message_handlert &message_handler) |
| Build data structures controlling coverage from command-line options. More...
|
|
static void | instrument_cover_goals (const cover_configt &config, const irep_idt &function_id, goto_functionst::goto_functiont &function, message_handlert &message_handler) |
| Instruments a single goto program based on the given configuration. More...
|
|
void | instrument_cover_goals (const cover_configt &config, goto_model_functiont &function, message_handlert &message_handler) |
| Instruments a single goto program based on the given configuration. More...
|
|
bool | instrument_cover_goals (const optionst &options, const symbol_tablet &symbol_table, goto_functionst &goto_functions, message_handlert &message_handler) |
| Instruments goto functions based on given command line options. More...
|
|
bool | instrument_cover_goals (const optionst &options, goto_modelt &goto_model, message_handlert &message_handler) |
| Instruments a goto model based on given command line options. More...
|
|
Coverage Instrumentation.
Definition in file cover.cpp.