#include <util/config.h>#include <util/parse_options.h>#include <util/timestamper.h>#include <util/ui_message.h>#include <util/validation_interface.h>#include <goto-programs/class_hierarchy.h>#include <goto-programs/remove_calls_no_body.h>#include <goto-programs/remove_const_function_pointers.h>#include <goto-programs/restrict_function_pointers.h>#include <goto-programs/show_goto_functions.h>#include <goto-programs/show_properties.h>#include <ansi-c/ansi_c_language.h>#include <ansi-c/goto_check_c.h>#include <pointer-analysis/goto_program_dereference.h>#include "aggressive_slicer.h"#include "count_eloc.h"#include "document_properties.h"#include "dump_c.h"#include "generate_function_bodies.h"#include "insert_final_assert_false.h"#include "nondet_volatile.h"#include "replace_calls.h"#include "uninitialized.h"#include "unwindset.h"#include "contracts/contracts.h"#include "synthesizer/enumerative_loop_invariant_synthesizer.h"#include "wmm/weak_memory.h"
Include dependency graph for goto_instrument_parse_options.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | goto_instrument_parse_optionst |
Macros | |
| #define | GOTO_INSTRUMENT_OPTIONS |
Detailed Description
Command Line Parsing
Definition in file goto_instrument_parse_options.h.
Macro Definition Documentation
◆ GOTO_INSTRUMENT_OPTIONS
| #define GOTO_INSTRUMENT_OPTIONS |
Definition at line 48 of file goto_instrument_parse_options.h.
