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, goto_programt::target_less_than >	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, goto_programt::target_less_than> fault_location_infot::score_mapt

Definition at line 28 of file fault_localization_provider.h.

Member Data Documentation

scores

score_mapt fault_location_infot::scores

Definition at line 29 of file fault_localization_provider.h.

---

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

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