cprover
|
Symex Command Line Options Processing. More...
#include "symex_parse_options.h"
#include <iostream>
#include <fstream>
#include <cstdlib>
#include <util/string2int.h>
#include <util/config.h>
#include <util/language.h>
#include <util/options.h>
#include <util/memory_info.h>
#include <util/unicode.h>
#include <ansi-c/ansi_c_language.h>
#include <cpp/cpp_language.h>
#include <java_bytecode/java_bytecode_language.h>
#include <goto-programs/initialize_goto_model.h>
#include <goto-programs/goto_convert_functions.h>
#include <goto-programs/show_properties.h>
#include <goto-programs/set_properties.h>
#include <goto-programs/read_goto_binary.h>
#include <goto-programs/loop_ids.h>
#include <goto-programs/link_to_library.h>
#include <goto-programs/goto_inline.h>
#include <goto-programs/xml_goto_trace.h>
#include <goto-programs/remove_complex.h>
#include <goto-programs/remove_function_pointers.h>
#include <goto-programs/remove_vector.h>
#include <goto-programs/remove_virtual_functions.h>
#include <goto-programs/remove_exceptions.h>
#include <goto-programs/remove_instanceof.h>
#include <goto-programs/remove_unused_functions.h>
#include <goto-symex/rewrite_union.h>
#include <goto-symex/adjust_float_expressions.h>
#include <goto-instrument/cover.h>
#include <langapi/mode.h>
#include <cbmc/version.h>
#include <path-symex/locs.h>
#include "path_search.h"
Go to the source code of this file.
Symex Command Line Options Processing.
Definition in file symex_parse_options.cpp.