cprover
Loading...
Searching...
No Matches
incremental_goto_checker.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Incremental Goto Checker Interface
4
5Author: Daniel Kroening, Peter Schrammel
6
7\*******************************************************************/
8
11
13
14#include <util/ui_message.h>
15
24
ui_message_handlert & ui_message_handler
Incremental Goto Checker Interface.