cover_goals_report_util.cpp File Reference
Cover Goals Reporting Utilities. More...
#include "cover_goals_report_util.h"#include <iomanip>#include <util/json.h>#include <util/json_irep.h>#include <util/json_stream.h>#include <util/ui_message.h>#include <util/xml.h>#include <util/xml_irep.h>
Include dependency graph for cover_goals_report_util.cpp:Go to the source code of this file.
Functions | |
| static void | output_goals_iterations (const propertiest &properties, unsigned iterations, messaget &log) |
| static void | output_goals_plain (const propertiest &properties, messaget &log) |
| static void | output_goals_xml (const propertiest &properties, messaget &log) |
| static void | output_goals_json (const propertiest &properties, messaget &log, ui_message_handlert &ui_message_handler) |
| 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. More... | |
Detailed Description
Cover Goals Reporting Utilities.
Definition in file cover_goals_report_util.cpp.
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.
◆ output_goals_iterations()
|
static |
Definition at line 23 of file cover_goals_report_util.cpp.
◆ output_goals_json()
|
static |
Definition at line 107 of file cover_goals_report_util.cpp.
◆ output_goals_plain()
|
static |
Definition at line 41 of file cover_goals_report_util.cpp.
◆ output_goals_xml()
|
static |
Definition at line 65 of file cover_goals_report_util.cpp.
