31 <<
" covered (" << std::fixed << std::setw(1)
32 << std::setprecision(1)
33 << (properties.empty()
37 log.
statistics() <<
"** Used " << iterations <<
" iteration"
91 if(log.
status().tellp() > 0)
116 "totalGoals",
json_numbert(std::to_string(properties.size())));
125 switch(ui_message_handler.
get_ui())
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Provides methods for streaming JSON arrays.
Provides methods for streaming JSON objects.
Class that provides messages with a built-in verbosity 'level'.
mstreamt & statistics() const
mstreamt & result() const
mstreamt & status() const
virtual uit get_ui() const
virtual json_stream_arrayt & get_json_stream()
static void output_goals_iterations(const propertiest &properties, unsigned iterations, 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 tha...
static void output_goals_plain(const propertiest &properties, messaget &log)
Cover Goals Reporting Utilities.
const std::string & id2string(const irep_idt &d)
static void json(json_objectT &result, const irep_idt &property_id, const property_infot &property_info)
std::size_t count_properties(const propertiest &properties, property_statust status)
Return the number of properties with given status.
xmlt xml(const irep_idt &property_id, const property_infot &property_info)
@ FAIL
The property was violated.
std::map< irep_idt, property_infot > propertiest
A map of property IDs to property infos.