property_rowt Struct Reference

One line of the property report: a verdict together with everything needed to order and print it. More...

#include <property_report.h>

Public Attributes
std::string	id
std::string	file
std::string	function
std::string	description
std::string	note
unsigned	line = 0
unsigned	column = 0
unsigned	instruction = 0
expr2tc	condition
bool	library = false
property_verdictt	verdict = property_verdictt::NotChecked

Detailed Description

One line of the property report: a verdict together with everything needed to order and print it.

Member Data Documentation

column

unsigned property_rowt::column = 0

condition

expr2tc property_rowt::condition

description

std::string property_rowt::description

file

std::string property_rowt::file

function

std::string property_rowt::function

id

std::string property_rowt::id

instruction

unsigned property_rowt::instruction = 0

library

bool property_rowt::library = false

line

unsigned property_rowt::line = 0

note

std::string property_rowt::note

verdict

property_verdictt property_rowt::verdict = property_verdictt::NotChecked

---

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

• src/esbmc/property_report.h