fault_location_infot Struct Reference

#include <fault_localization_provider.h>

Collaboration diagram for fault_location_infot:

Public Types
typedef std::map< goto_programt::const_targett, std::size_t >	score_mapt

Public Attributes
score_mapt	scores

Detailed Description

Definition at line 22 of file fault_localization_provider.h.

Member Typedef Documentation

score_mapt

typedef std::map<goto_programt::const_targett, std::size_t> fault_location_infot::score_mapt

Definition at line 24 of file fault_localization_provider.h.

Member Data Documentation

scores

score_mapt fault_location_infot::scores

Definition at line 25 of file fault_localization_provider.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-checker/fault_localization_provider.h