cprover
Loading...
Searching...
No Matches
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
#include <
util/ui_message.h
>
15
16
goto_verifiert::goto_verifiert
(
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::goto_verifiert
goto_verifiert()=delete
goto_verifiert::options
const optionst & options
Definition
goto_verifier.h:53
goto_verifiert::log
messaget log
Definition
goto_verifier.h:55
goto_verifiert::ui_message_handler
ui_message_handlert & ui_message_handler
Definition
goto_verifier.h:54
optionst
Definition
options.h:23
ui_message_handlert
Definition
ui_message.h:22
goto_verifier.h
Goto Verifier Interface.
ui_message.h
goto-checker
goto_verifier.cpp
Generated by
1.13.1