fault_localization_providert Class Referenceabstract
An implementation of incremental_goto_checkert may implement this interface to provide fault localization information.
More...
#include <fault_localization_provider.h>
Inheritance diagram for fault_localization_providert:Public Member Functions | |
| virtual fault_location_infot | localize_fault (const irep_idt &property_id) const =0 |
Returns the most likely fault locations for the given FAILed property_id. More... | |
| virtual | ~fault_localization_providert ()=default |
Detailed Description
An implementation of incremental_goto_checkert may implement this interface to provide fault localization information.
Definition at line 34 of file fault_localization_provider.h.
Constructor & Destructor Documentation
◆ ~fault_localization_providert()
|
virtualdefault |
Member Function Documentation
◆ localize_fault()
|
pure virtual |
Returns the most likely fault locations for the given FAILed property_id.
Implemented in multi_path_symex_checkert.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/goto-checker/fault_localization_provider.h
