cprover
incremental_goto_checker.cpp
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Incremental Goto Checker Interface
4 
5 Author: Daniel Kroening, Peter Schrammel
6 
7 \*******************************************************************/
8 
11 
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 }
22 
24  : progress(progress)
25 {
26 }
Incremental Goto Checker Interface.