cprover_parse_options.cpp File Reference

cprover Command Line Options Processing More...

#include "cprover_parse_options.h"
#include <util/config.h>
#include <util/cout_message.h>
#include <util/exit_codes.h>
#include <util/help_formatter.h>
#include <util/options.h>
#include <util/parse_options.h>
#include <util/signal_catcher.h>
#include <util/ui_message.h>
#include <util/unicode.h>
#include <util/version.h>
#include <goto-programs/adjust_float_expressions.h>
#include <goto-programs/goto_inline.h>
#include <goto-programs/initialize_goto_model.h>
#include <goto-programs/loop_ids.h>
#include <goto-programs/remove_function_pointers.h>
#include <goto-programs/set_properties.h>
#include <goto-programs/show_properties.h>
#include <ansi-c/ansi_c_language.h>
#include <ansi-c/gcc_version.h>
#include <langapi/mode.h>
#include "c_safety_checks.h"
#include "format_hooks.h"
#include "instrument_contracts.h"
#include "instrument_given_invariants.h"
#include "state_encoding.h"
#include <fstream>
#include <iostream>

Include dependency graph for cprover_parse_options.cpp:

Go to the source code of this file.

Functions
static void	show_goto_functions (const goto_modelt &goto_model)
static void	show_functions_with_loops (const goto_modelt &goto_model)

Detailed Description

cprover Command Line Options Processing

Definition in file cprover_parse_options.cpp.

Function Documentation

show_functions_with_loops()

static void show_functions_with_loops ( const goto_modelt &  goto_model )

static

Definition at line 67 of file cprover_parse_options.cpp.

show_goto_functions()

static void show_goto_functions ( const goto_modelt &  goto_model )

static

Definition at line 46 of file cprover_parse_options.cpp.