CBMC
ms_link_mode.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Visual Studio Link Mode
4 
5 Author: Daniel Kroening
6 
7 Date: July 2018
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_CC_MS_LINK_MODE_H
15 #define CPROVER_GOTO_CC_MS_LINK_MODE_H
16 
17 #include "cl_message_handler.h"
18 #include "goto_cc_mode.h"
19 
21 {
22 public:
23  int doit() final;
24  void help_mode() final;
25 
26  explicit ms_link_modet(goto_cc_cmdlinet &);
27 
28 protected:
30 };
31 
32 #endif // CPROVER_GOTO_CC_MS_LINK_MODE_H
Command line interpretation for goto-cc.