goto_coverage_rm Class Reference

#include <goto_coverage.h>

Inheritance diagram for goto_coverage_rm:

Public Member Functions
	goto_coverage_rm (contextt &_context, optionst &_options, goto_functionst &goto_functions)
void	remove_sideeffect ()

Public Attributes
goto_functionst &	goto_functions

Constructor & Destructor Documentation

goto_coverage_rm()

goto_coverage_rm::goto_coverage_rm ( contextt & _context, optionst & _options, goto_functionst & goto_functions )

inline

Member Function Documentation

remove_sideeffect()

void goto_coverage_rm::remove_sideeffect

(

)

Member Data Documentation

goto_functions

goto_functionst& goto_coverage_rm::goto_functions

---

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

• src/goto-programs/goto_coverage.h
• src/goto-programs/goto_coverage_rm.cpp