CBMC
|
A special command line object for the CL options. More...
#include "ms_cl_cmdline.h"
#include <util/unicode.h>
#include <climits>
#include <cstdlib>
#include <fstream>
#include <iostream>
Go to the source code of this file.
Functions | |
static std::istream & | my_wgetline (std::istream &in, std::wstring &dest) |
Variables | |
const char * | non_ms_cl_options [] |
parses the command line options into a cmdlinet | |
const char * | ms_cl_flags [] |
const char * | ms_cl_prefixes [] |
A special command line object for the CL options.
Definition in file ms_cl_cmdline.cpp.
|
static |
Definition at line 137 of file ms_cl_cmdline.cpp.
Definition at line 291 of file ms_cl_cmdline.cpp.
parses the command line options into a cmdlinet
Definition at line 25 of file ms_cl_cmdline.cpp.