cprover
|
Filters out goals with source locations considered internal. More...
#include <cover_filter.h>
Public Member Functions | |
internal_goals_filtert (message_handlert &message_handler) | |
bool | operator() (const source_locationt &) const override |
Filter goals at source locations considered internal. More... | |
![]() | |
goal_filter_baset (message_handlert &message_handler) | |
virtual | ~goal_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 goals with source locations considered internal.
Definition at line 230 of file cover_filter.h.
|
inlineexplicit |
Definition at line 233 of file cover_filter.h.
|
overridevirtual |
Filter goals at source locations considered internal.
source_location | source location of the current goal |
Implements goal_filter_baset.
Definition at line 127 of file cover_filter.cpp.