cprover
|
Filters out CPROVER internal functions. More...
#include <cover_filter.h>
Public Member Functions | |
internal_functions_filtert (message_handlert &message_handler) | |
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... | |
![]() | |
function_filter_baset (message_handlert &message_handler) | |
virtual | ~function_filter_baset () |
virtual void | report_anomalies () const |
Can be called after final filter application to report on unexpected situations encountered. More... | |
Additional Inherited Members |
Filters out CPROVER internal functions.
Definition at line 146 of file cover_filter.h.
|
inlineexplicit |
Definition at line 149 of file cover_filter.h.
|
overridevirtual |
Filter out functions that are not considered provided by the user.
function | the function under consideration |
goto_function | a goto function |
Implements function_filter_baset.
Definition at line 22 of file cover_filter.cpp.