goto_trace_provider.h File Reference

#include <util/irep.h>

Include dependency graph for goto_trace_provider.h:

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

Go to the source code of this file.

Classes
class	goto_trace_providert
	An implementation of incremental_goto_checkert may implement this interface to provide goto traces. More...

Detailed Description

Interface for returning Goto Traces from Goto Checkers

Definition in file goto_trace_provider.h.