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