fault_localizationt::lpointt Struct Reference

#include <fault_localization.h>

Public Attributes
goto_programt::const_targett	target
unsigned	score

Detailed Description

Definition at line 56 of file fault_localization.h.

Member Data Documentation

score

unsigned fault_localizationt::lpointt::score

Definition at line 59 of file fault_localization.h.

target

goto_programt::const_targett fault_localizationt::lpointt::target

Definition at line 58 of file fault_localization.h.

---

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

• cbmc/fault_localization.h