#include <map>
#include <goto-programs/goto_program.h>

Include dependency graph for fault_localization_provider.h:

This graph shows which files directly or indirectly include this file:

Classes
struct	fault_location_infot

class	fault_localization_providert
	An implementation of `incremental_goto_checkert` may implement this interface to provide fault localization information. More...

Detailed Description

Interface for Goto Checkers to provide Fault Localization

Classes