cprover
|
#include <property_checker.h>
Public Attributes | |
goto_tracet | error_trace |
resultt | result |
goto_programt::const_targett | location |
Definition at line 39 of file property_checker.h.
goto_tracet property_checkert::property_statust::error_trace |
Definition at line 42 of file property_checker.h.
goto_programt::const_targett property_checkert::property_statust::location |
Definition at line 44 of file property_checker.h.
Referenced by property_checkert::initialize_property_map().
resultt property_checkert::property_statust::result |
Definition at line 43 of file property_checker.h.
Referenced by property_checkert::initialize_property_map().