property_resultt Struct Reference

A verdict together with where it applies and a note explaining how it was reached – that a discharge came from interval analysis rather than the solver, or that it was vacuous. More...

#include <property_verdict.h>

Public Attributes
property_verdictt	verdict
std::string	note
property_locationt	loc

Detailed Description

A verdict together with where it applies and a note explaining how it was reached – that a discharge came from interval analysis rather than the solver, or that it was vacuous.

The note is empty when the verdict needs no qualification.

Member Data Documentation

loc

property_locationt property_resultt::loc

note

std::string property_resultt::note

verdict

property_verdictt property_resultt::verdict

---

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

• src/goto-programs/property_verdict.h