property_checkert::property_statust Struct Reference

#include <property_checker.h>

Collaboration diagram for property_checkert::property_statust:

Public Attributes
goto_tracet	error_trace
resultt	result
goto_programt::const_targett	location

Detailed Description

Definition at line 39 of file property_checker.h.

Member Data Documentation

error_trace

goto_tracet property_checkert::property_statust::error_trace

Definition at line 42 of file property_checker.h.

location

goto_programt::const_targett property_checkert::property_statust::location

Definition at line 44 of file property_checker.h.

result

resultt property_checkert::property_statust::result

Definition at line 43 of file property_checker.h.

---

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

• goto-programs/property_checker.h