cprover
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/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 117 of file cover_goals_report_util.cpp.

◆ output_goals_iterations()

static void output_goals_iterations ( const propertiest properties,
unsigned  iterations,
messaget log 
)
static

Definition at line 22 of file cover_goals_report_util.cpp.

◆ output_goals_json()

static void output_goals_json ( const propertiest properties,
messaget log,
ui_message_handlert ui_message_handler 
)
static

Definition at line 84 of file cover_goals_report_util.cpp.

◆ output_goals_plain()

static void output_goals_plain ( const propertiest properties,
messaget log 
)
static

Definition at line 40 of file cover_goals_report_util.cpp.

◆ output_goals_xml()

static void output_goals_xml ( const propertiest properties,
messaget log 
)
static

Definition at line 64 of file cover_goals_report_util.cpp.