cprover
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: