goto_diff_parse_options.cpp File Reference

GOTO-DIFF Command Line Option Processing. More...

#include "goto_diff_parse_options.h"
#include <fstream>
#include <cstdlib>
#include <iostream>
#include <memory>
#include <util/string2int.h>
#include <util/config.h>
#include <util/language.h>
#include <util/options.h>
#include <goto-programs/goto_convert_functions.h>
#include <goto-programs/remove_function_pointers.h>
#include <goto-programs/remove_returns.h>
#include <goto-programs/remove_vector.h>
#include <goto-programs/remove_complex.h>
#include <goto-programs/remove_asm.h>
#include <goto-programs/remove_unused_functions.h>
#include <goto-programs/goto_inline.h>
#include <goto-programs/show_properties.h>
#include <goto-programs/set_properties.h>
#include <goto-programs/read_goto_binary.h>
#include <goto-programs/string_abstraction.h>
#include <goto-programs/string_instrumentation.h>
#include <goto-programs/loop_ids.h>
#include <goto-programs/link_to_library.h>
#include <pointer-analysis/add_failed_symbols.h>
#include <langapi/mode.h>
#include <cbmc/version.h>
#include "goto_diff.h"
#include "syntactic_diff.h"
#include "unified_diff.h"
#include "change_impact.h"

Include dependency graph for goto_diff_parse_options.cpp:

Go to the source code of this file.

Detailed Description

GOTO-DIFF Command Line Option Processing.

Definition in file goto_diff_parse_options.cpp.