cprover
|
Classes | |
struct | coverage_conditiont |
struct | coverage_linet |
Public Member Functions | |
goto_program_coverage_recordt (const namespacet &ns, goto_functionst::function_mapt::const_iterator gf_it, const symex_coveraget::coveraget &coverage) | |
const irep_idt & | get_file () const |
![]() | |
coverage_recordt (const std::string &node_id) | |
Protected Types | |
typedef std::map< unsigned, coverage_linet > | coverage_lines_mapt |
Protected Member Functions | |
void | compute_coverage_lines (const goto_programt &goto_program, const irep_idt &file_name, const symex_coveraget::coveraget &coverage, coverage_lines_mapt &dest) |
Protected Attributes | |
irep_idt | file_name |
Additional Inherited Members | |
![]() | |
xmlt | xml |
std::size_t | lines_covered |
std::size_t | lines_total |
std::size_t | branches_covered |
std::size_t | branches_total |
Definition at line 50 of file symex_coverage.cpp.
|
protected |
Definition at line 90 of file symex_coverage.cpp.
goto_program_coverage_recordt::goto_program_coverage_recordt | ( | const namespacet & | ns, |
goto_functionst::function_mapt::const_iterator | gf_it, | ||
const symex_coveraget::coveraget & | coverage | ||
) |
Definition at line 136 of file symex_coverage.cpp.
References coverage_recordt::branches_covered, coverage_recordt::branches_total, compute_coverage_lines(), dstringt::empty(), file_name, from_type(), namespacet::get_symbol_table(), id2string(), coverage_recordt::lines_covered, coverage_recordt::lines_total, xmlt::new_element(), original_return_type(), rate(), rate_detailed(), xmlt::set_attribute(), to_string(), and coverage_recordt::xml.
|
protected |
Definition at line 219 of file symex_coverage.cpp.
References coverage_recordt::branches_covered, coverage_recordt::branches_total, file_name, forall_goto_program_instructions, goto_program, id2string(), coverage_recordt::lines_covered, coverage_recordt::lines_total, safe_string2unsigned(), and UNREACHABLE.
Referenced by goto_program_coverage_recordt().
|
inline |
Definition at line 58 of file symex_coverage.cpp.
References file_name.
Referenced by symex_coveraget::compute_overall_coverage().
|
protected |
Definition at line 64 of file symex_coverage.cpp.
Referenced by compute_coverage_lines(), get_file(), and goto_program_coverage_recordt().