cprover
Loading...
Searching...
No Matches
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
goto_verifiert()=delete
const optionst & options
ui_message_handlert & ui_message_handler
Goto Verifier Interface.