cprover
goto_verifier.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Goto Verifier Interface
4
5Author: Daniel Kroening, Peter Schrammel
6
7\*******************************************************************/
8
11
12#include "goto_verifier.h"
13
14#include <util/ui_message.h>
15
17 const optionst &_options,
18 ui_message_handlert &ui_message_handler)
19 : options(_options),
20 ui_message_handler(ui_message_handler),
21 log(ui_message_handler)
22{
23}
goto_verifiert()=delete
Goto Verifier Interface.