cprover
fault_localizationt::lpointt Struct Reference

#include <fault_localization.h>

Public Attributes

goto_programt::const_targett target
 
unsigned score
 

Detailed Description

Definition at line 57 of file fault_localization.h.

Member Data Documentation

◆ score

unsigned fault_localizationt::lpointt::score

Definition at line 60 of file fault_localization.h.

Referenced by fault_localizationt::report().

◆ target

goto_programt::const_targett fault_localizationt::lpointt::target

Definition at line 59 of file fault_localization.h.

Referenced by fault_localizationt::report().


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