cprover
symex_coveraget Class Reference

#include <symex_coverage.h>

Collaboration diagram for symex_coveraget:
[legend]

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_infotcoverage_innert
 
typedef std::map< goto_programt::const_targett, coverage_innertcoveraget
 

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 namespacetns
 
coveraget coverage
 

Friends

class goto_program_coverage_recordt
 

Detailed Description

Definition at line 28 of file symex_coverage.h.

Member Typedef Documentation

◆ coverage_innert

Definition at line 70 of file symex_coverage.h.

◆ coveraget

Definition at line 72 of file symex_coverage.h.

Constructor & Destructor Documentation

◆ symex_coveraget()

symex_coveraget::symex_coveraget ( const namespacet _ns)
inlineexplicit

Definition at line 31 of file symex_coverage.h.

Member Function Documentation

◆ build_cobertura()

◆ compute_overall_coverage()

◆ covered()

void symex_coveraget::covered ( goto_programt::const_targett  from,
goto_programt::const_targett  to 
)
inline

Definition at line 35 of file symex_coverage.h.

References coverage.

Referenced by symex_bmct::merge_goto(), and symex_bmct::symex_step().

◆ generate_report()

bool symex_coveraget::generate_report ( const goto_functionst goto_functions,
const std::string &  path 
) const

Definition at line 434 of file symex_coverage.cpp.

References output_report().

Referenced by symex_bmct::output_coverage_report().

◆ output_report()

bool symex_coveraget::output_report ( const goto_functionst goto_functions,
std::ostream &  os 
) const
protected

Definition at line 419 of file symex_coverage.cpp.

References build_cobertura().

Referenced by generate_report().

Friends And Related Function Documentation

◆ goto_program_coverage_recordt

friend class goto_program_coverage_recordt
friend

Definition at line 87 of file symex_coverage.h.

Member Data Documentation

◆ coverage

coveraget symex_coveraget::coverage
protected

Definition at line 73 of file symex_coverage.h.

Referenced by compute_overall_coverage(), and covered().

◆ ns

const namespacet& symex_coveraget::ns
protected

Definition at line 51 of file symex_coverage.h.

Referenced by compute_overall_coverage().


The documentation for this class was generated from the following files: