smt2irep.h File Reference
#include <testing-utils/use_catch.h>
#include <util/irep.h>
#include <util/optional.h>
#include <string>
+ Include dependency graph for smt2irep.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


struct  smt2_parser_test_resultt
class  smt2_parser_error_containingt


bool operator== (const smt2_parser_test_resultt &left, const smt2_parser_test_resultt &right)
 Author: Diffblue Ltd. More...
smt2_parser_test_resultt smt2irep (const std::string &input)
smt2_parser_test_resultt smt2_parser_success (irept parse_tree)

Function Documentation

◆ operator==()

bool operator== ( const smt2_parser_test_resultt left,
const smt2_parser_test_resultt right 

Author: Diffblue Ltd.

Definition at line 10 of file smt2irep.cpp.

◆ smt2_parser_success()

smt2_parser_test_resultt smt2_parser_success ( irept  parse_tree)

Definition at line 58 of file smt2irep.cpp.

◆ smt2irep()

smt2_parser_test_resultt smt2irep ( const std::string &  input)

Definition at line 18 of file smt2irep.cpp.