14#ifndef CPROVER_GOTO_CC_AS_MODE_H
15#define CPROVER_GOTO_CC_AS_MODE_H
30 const std::string &_base_name,
31 bool _produce_hybrid_binary);
int run_as()
run as or as86 with original command line
virtual void help_mode()
display command line help
virtual int doit()
does it.
const bool produce_hybrid_binary
const std::string native_tool_name
int as_hybrid_binary(const compilet &compiler)
gcc_message_handlert message_handler
Command line interpretation for goto-cc.