cprover
|
#include <fault_localization.h>
Public Attributes | |
goto_programt::const_targett | target |
unsigned | score |
Definition at line 56 of file fault_localization.h.
unsigned fault_localizationt::lpointt::score |
Definition at line 59 of file fault_localization.h.
goto_programt::const_targett fault_localizationt::lpointt::target |
Definition at line 58 of file fault_localization.h.