smt_solver_process.cpp File Reference

#include <solvers/smt2_incremental/smt_solver_process.h>
#include <solvers/smt2/smt2irep.h>
#include <solvers/smt2_incremental/smt_response_validation.h>
#include <solvers/smt2_incremental/smt_to_smt2_string.h>
#include <util/exception_utils.h>
#include <util/invariant.h>
#include <util/string_utils.h>

Include dependency graph for smt_solver_process.cpp:

Go to the source code of this file.

Functions
static void	handle_invalid_smt (const std::vector< std::string > &validation_errors, messaget &log)
	Log messages and throw exception.

Function Documentation

handle_invalid_smt()

static void handle_invalid_smt ( const std::vector< std::string > &  validation_errors, messaget &  log  )

static

Log messages and throw exception.

Definition at line 56 of file smt_solver_process.cpp.