14#ifndef CPROVER_GOTO_CC_MS_LINK_CMDLINE_H
15#define CPROVER_GOTO_CC_MS_LINK_CMDLINE_H
22 virtual bool parse(
int,
const char **);
33 bool parse(
const std::vector<std::string> &);
virtual bool parse(int, const char **)
parses the command line options into a cmdlinet
void process_non_link_option(const std::string &s)
void process_response_file_line(const std::string &line)
void process_response_file(const std::string &file)
void process_link_option(const std::string &s)
Command line interpretation for goto-cc.