cover_goals_report_util.h File Reference

Cover Goals Reporting Utilities. More...

#include "properties.h"

Include dependency graph for cover_goals_report_util.h:

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

Go to the source code of this file.

Functions
void	output_goals (const propertiest &properties, unsigned iterations, ui_message_handlert &ui_message_handler)
	Outputs the properties interpreted as 'coverage goals' and the number of goto verifier iterations that were required to compute the properties' status.

Detailed Description

Cover Goals Reporting Utilities.

Definition in file cover_goals_report_util.h.

Function Documentation

output_goals()

void output_goals	(	const propertiest &	properties,
		unsigned	iterations,
		ui_message_handlert &	ui_message_handler
	)

Outputs the properties interpreted as 'coverage goals' and the number of goto verifier iterations that were required to compute the properties' status.

Definition at line 161 of file cover_goals_report_util.cpp.