cprover
ms_link_mode.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Visual Studio Link Mode
4
5Author: Daniel Kroening
6
7Date: 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{
22public:
23 int doit() final;
24 void help_mode() final;
25
27
28protected:
30};
31
32#endif // CPROVER_GOTO_CC_MS_LINK_MODE_H
Command line interpretation for goto-cc.