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()

void symex_coveraget::build_cobertura ( const goto_functionst goto_functions,
xmlt xml_coverage 
) const
protected

§ 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, and generate_report().

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.

Referenced by covered(), and 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.

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 covered().

§ ns

const namespacet& symex_coveraget::ns
protected

Definition at line 51 of file symex_coverage.h.


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