internal_functions_filtert Class Reference
Filters out CPROVER internal functions. More...
#include <cover_filter.h>
Inheritance diagram for internal_functions_filtert: Collaboration diagram for internal_functions_filtert:Public Member Functions | |
| bool | operator() (const symbolt &identifier, const goto_functionst::goto_functiont &goto_function) const override |
| Filter out functions that are not considered provided by the user. More... | |
| Public Member Functions inherited from function_filter_baset | |
| virtual | ~function_filter_baset () |
| virtual void | report_anomalies () const |
| Can be called after final filter application to report on unexpected situations encountered. More... | |
Detailed Description
Filters out CPROVER internal functions.
Definition at line 132 of file cover_filter.h.
Member Function Documentation
◆ operator()()
|
overridevirtual |
Filter out functions that are not considered provided by the user.
- Parameters
-
function the function under consideration goto_function a goto function
- Returns
- returns true if function is considered user-provided
Implements function_filter_baset.
Definition at line 23 of file cover_filter.cpp.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/cover_filter.h
- /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-instrument/cover_filter.cpp
