12#ifndef CPROVER_GOTO_CHECKER_FAULT_LOCALIZATION_PROVIDER_H
13#define CPROVER_GOTO_CHECKER_FAULT_LOCALIZATION_PROVIDER_H
24 typedef std::map<goto_programt::const_targett, std::size_t>
score_mapt;
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
An implementation of incremental_goto_checkert may implement this interface to provide fault localiza...
virtual ~fault_localization_providert()=default
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.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
std::map< goto_programt::const_targett, std::size_t > score_mapt