14 #ifndef CPROVER_CBMC_SYMEX_COVERAGE_H 15 #define CPROVER_CBMC_SYMEX_COVERAGE_H 39 std::pair<coverage_innert::iterator, bool> entry=
43 ++(entry.first->second.num_executions);
48 const std::string &path)
const;
58 unsigned _num_executions):
69 typedef std::map<goto_programt::const_targett, coverage_infot>
71 typedef std::map<goto_programt::const_targett, coverage_innert>
77 std::ostream &os)
const;
81 xmlt &xml_coverage)
const;
90 #endif // CPROVER_CBMC_SYMEX_COVERAGE_H
void build_cobertura(const goto_functionst &goto_functions, xmlt &xml_coverage) const
coverage_infot(goto_programt::const_targett _from, goto_programt::const_targett _to, unsigned _num_executions)
symex_coveraget(const namespacet &_ns)
bool generate_report(const goto_functionst &goto_functions, const std::string &path) const
std::map< goto_programt::const_targett, coverage_innert > coveraget
goto_programt::const_targett location
void compute_overall_coverage(const goto_functionst &goto_functions, coverage_recordt &dest) const
instructionst::const_iterator const_targett
bool output_report(const goto_functionst &goto_functions, std::ostream &os) const
std::map< goto_programt::const_targett, coverage_infot > coverage_innert
void covered(goto_programt::const_targett from, goto_programt::const_targett to)
goto_programt::const_targett succ