jdiff_parse_options.cpp File Reference

#include "jdiff_parse_options.h"
#include <util/config.h>
#include <util/exit_codes.h>
#include <util/options.h>
#include <util/version.h>
#include <goto-programs/adjust_float_expressions.h>
#include <goto-programs/goto_check.h>
#include <goto-programs/initialize_goto_model.h>
#include <goto-programs/instrument_preconditions.h>
#include <goto-programs/loop_ids.h>
#include <goto-programs/mm_io.h>
#include <goto-programs/remove_function_pointers.h>
#include <goto-programs/remove_returns.h>
#include <goto-programs/remove_skip.h>
#include <goto-programs/remove_virtual_functions.h>
#include <goto-programs/set_properties.h>
#include <goto-programs/show_properties.h>
#include <goto-diff/change_impact.h>
#include <goto-diff/unified_diff.h>
#include <goto-instrument/cover.h>
#include <java_bytecode/java_bytecode_language.h>
#include <java_bytecode/remove_exceptions.h>
#include <java_bytecode/remove_instanceof.h>
#include "java_syntactic_diff.h"
#include <cstdlib>
#include <iostream>

Include dependency graph for jdiff_parse_options.cpp:

Go to the source code of this file.

Detailed Description

JDIFF Command Line Option Processing

Definition in file jdiff_parse_options.cpp.