cprover
|
Goto Programs. More...
#include <unordered_set>
#include "goto_model.h"
#include <util/message.h>
#include <util/expr.h>
#include <util/namespace.h>
Go to the source code of this file.
Classes | |
class | remove_const_function_pointerst |
Macros | |
#define | OPT_REMOVE_CONST_FUNCTION_POINTERS "(remove-const-function-pointers)" |
#define | HELP_REMOVE_CONST_FUNCTION_POINTERS " --remove-const-function-pointers Remove function pointers that are constant or constant part of an array\n" |
Goto Programs.
Definition in file remove_const_function_pointers.h.
#define HELP_REMOVE_CONST_FUNCTION_POINTERS " --remove-const-function-pointers Remove function pointers that are constant or constant part of an array\n" |
Definition at line 102 of file remove_const_function_pointers.h.
Referenced by goto_instrument_parse_optionst::help().
#define OPT_REMOVE_CONST_FUNCTION_POINTERS "(remove-const-function-pointers)" |
Definition at line 99 of file remove_const_function_pointers.h.