CBMC
goto_cc_main.cpp File Reference

GOTO-CC Main Module. More...

#include <algorithm>
#include <iostream>
#include <util/get_base_name.h>
#include "armcc_cmdline.h"
#include "as86_cmdline.h"
#include "as_cmdline.h"
#include "bcc_cmdline.h"
#include "gcc_cmdline.h"
#include "ld_cmdline.h"
#include "ms_cl_cmdline.h"
#include "ms_link_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"
#include "ms_link_mode.h"
+ Include dependency graph for goto_cc_main.cpp:

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)
 

Detailed Description

GOTO-CC Main Module.

Definition in file goto_cc_main.cpp.

Function Documentation

◆ main()

int main ( int  argc,
const char **  argv 
)

Definition at line 50 of file goto_cc_main.cpp.

◆ to_lower_string()

std::string to_lower_string ( const std::string &  s)

Definition at line 40 of file goto_cc_main.cpp.