cprover
cover.h File Reference

Coverage Instrumentation. More...

Include dependency graph for cover.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Enumerations

enum  coverage_criteriont {
  coverage_criteriont::LOCATION, coverage_criteriont::BRANCH, coverage_criteriont::DECISION, coverage_criteriont::CONDITION,
  coverage_criteriont::PATH, coverage_criteriont::MCDC, coverage_criteriont::ASSERTION, coverage_criteriont::COVER
}
 

Functions

void instrument_cover_goals (const symbol_tablet &symbol_table, goto_programt &goto_program, coverage_criteriont)
 
void instrument_cover_goals (const symbol_tablet &symbol_table, goto_functionst &goto_functions, coverage_criteriont)
 
bool instrument_cover_goals (const cmdlinet &cmdline, const symbol_tablet &symbol_table, goto_functionst &goto_functions, message_handlert &msgh)
 

Detailed Description

Coverage Instrumentation.

Definition in file cover.h.

Enumeration Type Documentation

◆ coverage_criteriont

enum coverage_criteriont
strong
Enumerator
LOCATION 
BRANCH 
DECISION 
CONDITION 
PATH 
MCDC 
ASSERTION 
COVER 

Definition at line 22 of file cover.h.

Function Documentation

◆ instrument_cover_goals() [1/3]

◆ instrument_cover_goals() [2/3]

void instrument_cover_goals ( const symbol_tablet symbol_table,
goto_functionst goto_functions,
coverage_criteriont   
)

◆ instrument_cover_goals() [3/3]