cprover
|
#include <validate_goto_model.h>
Public Types | |
enum class | set_optionst { all_true , all_false } |
Public Member Functions | |
goto_model_validation_optionst ()=default | |
goto_model_validation_optionst (set_optionst flag_option) | |
Public Attributes | |
bool | entry_point_exists = false |
bool | function_pointer_calls_removed = true |
bool | check_returns_removed = true |
bool | check_called_functions = true |
Private Member Functions | |
void | set_all_flags (bool options_value) |
Definition at line 15 of file validate_goto_model.h.
Enumerator | |
---|---|
all_true | |
all_false |
Definition at line 38 of file validate_goto_model.h.
|
default |
|
inlineexplicit |
Definition at line 44 of file validate_goto_model.h.
Definition at line 27 of file validate_goto_model.h.
Definition at line 24 of file validate_goto_model.h.
Definition at line 23 of file validate_goto_model.h.
Definition at line 20 of file validate_goto_model.h.
Definition at line 22 of file validate_goto_model.h.