cprover
smt_response_validation.h File Reference
#include <solvers/smt2_incremental/smt_responses.h>
#include <util/invariant.h>
#include <util/nodiscard.h>
#include <util/optional.h>
#include <string>
#include <vector>
+ Include dependency graph for smt_response_validation.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  response_or_errort< smtt >
 Holds either a valid parsed response or response sub-tree of type. More...
 

Functions

NODISCARD response_or_errort< smt_responsetvalidate_smt_response (const irept &parse_tree)
 

Function Documentation

◆ validate_smt_response()

NODISCARD response_or_errort<smt_responset> validate_smt_response ( const irept parse_tree)

Definition at line 307 of file smt_response_validation.cpp.