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
14
goto_verifiert::goto_verifiert
(
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
goto-checker
goto_verifier.cpp
Generated by
1.8.20