cprover
|
Main Module. More...
#include "musketeer_parse_options.h"
#include <fstream>
#include <iostream>
#include <memory>
#include <util/config.h>
#include <util/options.h>
#include <util/string2int.h>
#include <goto-programs/remove_function_pointers.h>
#include <goto-programs/remove_skip.h>
#include <goto-programs/set_properties.h>
#include <goto-programs/goto_inline.h>
#include <goto-programs/read_goto_binary.h>
#include <goto-programs/write_goto_binary.h>
#include <goto-programs/link_to_library.h>
#include <goto-programs/remove_asm.h>
#include <pointer-analysis/value_set_analysis.h>
#include <pointer-analysis/goto_program_dereference.h>
#include <pointer-analysis/add_failed_symbols.h>
#include <analyses/local_may_alias.h>
#include <goto-instrument/rw_set.h>
#include <goto-instrument/wmm/weak_memory.h>
#include "propagate_const_function_pointers.h"
#include "version.h"
#include "fencer.h"
#include "fence_shared.h"
#include "pensieve.h"
#include "replace_async.h"
#include "infer_mode.h"
Go to the source code of this file.
Main Module.
Definition in file musketeer_parse_options.cpp.