goto_diff_parse_options.cpp File Reference

#include "goto_diff_parse_options.h"
#include <util/config.h>
#include <util/exit_codes.h>
#include <util/options.h>
#include <util/version.h>
#include <goto-programs/initialize_goto_model.h>
#include <goto-programs/link_to_library.h>
#include <goto-programs/loop_ids.h>
#include <goto-programs/process_goto_program.h>
#include <goto-programs/remove_skip.h>
#include <goto-programs/set_properties.h>
#include <goto-programs/show_properties.h>
#include <ansi-c/cprover_library.h>
#include <ansi-c/gcc_version.h>
#include <assembler/remove_asm.h>
#include <cpp/cprover_library.h>
#include <goto-instrument/cover.h>
#include "change_impact.h"
#include "syntactic_diff.h"
#include "unified_diff.h"
#include <cstdlib>
#include <fstream>
#include <iostream>

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.