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