cprover
|
GOTO-CC Main Module. More...
#include <algorithm>
#include <iostream>
#include <util/unicode.h>
#include <util/get_base_name.h>
#include "gcc_cmdline.h"
#include "armcc_cmdline.h"
#include "ms_cl_cmdline.h"
#include "ld_cmdline.h"
#include "bcc_cmdline.h"
#include "as_cmdline.h"
#include "as86_cmdline.h"
#include "armcc_mode.h"
#include "as_mode.h"
#include "cw_mode.h"
#include "gcc_mode.h"
#include "ld_mode.h"
#include "ms_cl_mode.h"
Go to the source code of this file.
Functions | |
std::string | to_lower_string (const std::string &s) |
int | main (int argc, const char **argv) |
GOTO-CC Main Module.
Definition in file goto_cc_main.cpp.
int main | ( | int | argc, |
const char ** | argv | ||
) |
Definition at line 45 of file goto_cc_main.cpp.
References get_base_name(), goto_cc_modet::main(), narrow(), narrow_argv(), ms_cl_cmdlinet::parse_env(), to_c_str_array(), and to_lower_string().
std::string to_lower_string | ( | const std::string & | s | ) |
Definition at line 35 of file goto_cc_main.cpp.
Referenced by main().