CBMC
cover_goals_report_util.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Cover Goals Reporting Utilities
4 
5 Author: Daniel Kroening, Peter Schrammel
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_CHECKER_COVER_GOALS_REPORT_UTIL_H
13 #define CPROVER_GOTO_CHECKER_COVER_GOALS_REPORT_UTIL_H
14 
15 #include "properties.h"
16 
17 class ui_message_handlert;
18 
22 void output_goals(
23  const propertiest &properties,
24  unsigned iterations,
25  ui_message_handlert &ui_message_handler);
26 
27 #endif // CPROVER_GOTO_CHECKER_COVER_GOALS_REPORT_UTIL_H
ui_message_handlert
Definition: ui_message.h:22
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 tha...
Definition: cover_goals_report_util.cpp:161
properties.h
Properties.
propertiest
std::map< irep_idt, property_infot > propertiest
A map of property IDs to property infos.
Definition: properties.h:76