cprover
|
#include <symex_coverage.h>
Classes | |
struct | coverage_infot |
Public Member Functions | |
symex_coveraget (const namespacet &_ns) | |
void | covered (goto_programt::const_targett from, goto_programt::const_targett to) |
bool | generate_report (const goto_functionst &goto_functions, const std::string &path) const |
Protected Types | |
typedef std::map< goto_programt::const_targett, coverage_infot > | coverage_innert |
typedef std::map< goto_programt::const_targett, coverage_innert > | coveraget |
Protected Member Functions | |
bool | output_report (const goto_functionst &goto_functions, std::ostream &os) const |
void | build_cobertura (const goto_functionst &goto_functions, xmlt &xml_coverage) const |
void | compute_overall_coverage (const goto_functionst &goto_functions, coverage_recordt &dest) const |
Protected Attributes | |
const namespacet & | ns |
coveraget | coverage |
Friends | |
class | goto_program_coverage_recordt |
Definition at line 28 of file symex_coverage.h.
|
protected |
Definition at line 70 of file symex_coverage.h.
|
protected |
Definition at line 72 of file symex_coverage.h.
|
inlineexplicit |
Definition at line 31 of file symex_coverage.h.
|
protected |
Definition at line 378 of file symex_coverage.cpp.
References coverage_recordt::branches_covered, coverage_recordt::branches_total, current_time(), coverage_recordt::lines_covered, coverage_recordt::lines_total, xmlt::new_element(), rate(), xmlt::set_attribute(), and coverage_recordt::xml.
|
protected |
Definition at line 302 of file symex_coverage.cpp.
References coverage_recordt::branches_covered, coverage_recordt::branches_total, coverage_recordt::coverage_recordt(), CPROVER_PREFIX, xmlt::elements, goto_functions_templatet< bodyT >::entry_point(), forall_goto_functions, goto_program_coverage_recordt::get_file(), id2string(), source_locationt::is_built_in(), coverage_recordt::lines_covered, coverage_recordt::lines_total, xmlt::new_element(), rate(), xmlt::set_attribute(), and coverage_recordt::xml.
|
inline |
Definition at line 35 of file symex_coverage.h.
References coverage, and generate_report().
Referenced by symex_bmct::merge_goto(), and symex_bmct::symex_step().
bool symex_coveraget::generate_report | ( | const goto_functionst & | goto_functions, |
const std::string & | path | ||
) | const |
Definition at line 434 of file symex_coverage.cpp.
Referenced by covered(), and symex_bmct::output_coverage_report().
|
protected |
Definition at line 419 of file symex_coverage.cpp.
|
friend |
Definition at line 87 of file symex_coverage.h.
|
protected |
Definition at line 73 of file symex_coverage.h.
Referenced by covered().
|
protected |
Definition at line 51 of file symex_coverage.h.