22 const auto &l =
property.source_location;
24 if(l.get_function() != current_function)
26 if(!current_function.
empty())
28 current_function = l.get_function();
29 if(!current_function.
empty())
34 if(!l.get_function().empty())
40 auto property_id =
property.property_id();
42 if(property_id.empty())
51 if(!l.get_line().empty())
70 case propertyt::ERROR:
80 case propertyt::UNKNOWN:
101 if(
property.status == propertyt::ERROR)
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
static std::ostream & yellow(std::ostream &)
static std::ostream & out()
static std::ostream & reset(std::ostream &)
static std::ostream & green(std::ostream &)
static std::ostream & faint(std::ostream &)
static std::ostream & bold(std::ostream &)
static std::ostream & red(std::ostream &)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
static std::string comment(const rw_set_baset::entryt &entry, bool write)
solver_resultt overall_outcome(const std::vector< propertyt > &properties)
void report_properties(const std::vector< propertyt > &properties)