report_traces.h File Reference

Report Traces. More...

#include "solver_types.h"

Include dependency graph for report_traces.h:

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

Go to the source code of this file.

Functions
void	report_traces (const std::vector< framet > &frames, const std::vector< propertyt > &properties, bool verbose, const namespacet &)

Detailed Description

Report Traces.

Definition in file report_traces.h.

Function Documentation

report_traces()

void report_traces	(	const std::vector< framet > &	frames,
		const std::vector< propertyt > &	properties,
		bool	verbose,
		const namespacet &	ns
	)

Definition at line 151 of file report_traces.cpp.