incremental_goto_checker.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Incremental Goto Checker Interface
 
Author: Daniel Kroening, Peter Schrammel
 
\*******************************************************************/
 
 
#include "incremental_goto_checker.h"
 
#include <util/ui_message.h>
 
incremental_goto_checkert::incremental_goto_checkert(
  const optionst &options,
  ui_message_handlert &ui_message_handler)
  : options(options),
    ui_message_handler(ui_message_handler),
    log(ui_message_handler)
{
}
incremental_goto_checkert::incremental_goto_checkert( {…}
 
incremental_goto_checkert::resultt::resultt(resultt::progresst progress)
  : progress(progress)
{
}
incremental_goto_checkert::resultt::resultt(resultt::progresst progress) {…}