solver_progress.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: Solver Progress Reporting
 
Author: Daniel Kroening, dkr@amazon.com
 
\*******************************************************************/
 
 
#include "solver_progress.h"
 
#include <util/console.h>
 
#include <iostream>
 
void solver_progresst::operator()(size_t current)
{
  if(verbose)
  {
    if(current != 0)
      std::cout << '\n';
    std::cout << consolet::orange << "Processing property " << (current + 1)
              << '/' << total << consolet::reset << '\n';
  }
  else
  {
    if(first)
    {
      first = false;
    }
    else
    {
      if(consolet::is_terminal())
      {
        // up one row and clear the line
        std::cout << consolet::cursorup << consolet::cleareol;
      }
    }
 
    std::cout << consolet::orange << "Processing property " << (current + 1)
              << '/' << total << consolet::reset << '\n';
  }
}
 
void solver_progresst::finished()
{
  if(verbose)
  {
    std::cout << '\n';
  }
  else
  {
    if(consolet::is_terminal())
    {
      if(!first)
      {
        // up one row and clear the line
        std::cout << consolet::cursorup << consolet::cleareol;
      }
    }
  }
}