property_countst Struct Reference

How many properties reached each verdict, and how wide the id and line columns must be to line the rows up. More...

#include <property_report.h>

Public Member Functions
bool	anything_decided () const
	Whether any property reached a verdict at all.

Public Attributes
size_t	passed = 0
size_t	failed = 0
size_t	unknown = 0
size_t	not_checked = 0
size_t	unreached = 0
	Rows –report-unreached-claims added, also counted as passed.
size_t	id_width = 0
size_t	line_width = 0

Detailed Description

How many properties reached each verdict, and how wide the id and line columns must be to line the rows up.

Member Function Documentation

anything_decided()

bool property_countst::anything_decided ( ) const

inline

Whether any property reached a verdict at all.

Member Data Documentation

failed

size_t property_countst::failed = 0

id_width

size_t property_countst::id_width = 0

line_width

size_t property_countst::line_width = 0

not_checked

size_t property_countst::not_checked = 0

passed

size_t property_countst::passed = 0

unknown

size_t property_countst::unknown = 0

unreached

size_t property_countst::unreached = 0

Rows –report-unreached-claims added, also counted as passed.

---

The documentation for this struct was generated from the following file:

• src/esbmc/property_report.h