Interface for returning Goto Traces from Goto Checkers. More...

#include <util/irep.h>

Include dependency graph for goto_trace_provider.h:

This graph shows which files directly or indirectly include 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.

Classes