3#ifndef CPROVER_TESTING_UTILS_SMT2IREP_H
4#define CPROVER_TESTING_UTILS_SMT2IREP_H
26 :
public Catch::MatcherBase<smt2_parser_test_resultt>
31 std::string
describe()
const override;
There are a large number of kinds of tree structured or tree-like data in CPROVER.
std::string expected_error
bool match(const smt2_parser_test_resultt &exception) const override
std::string describe() const override
nonstd::optional< T > optionalt
optionalt< irept > parsed_output
bool operator==(const smt2_parser_test_resultt &left, const smt2_parser_test_resultt &right)
Author: Diffblue Ltd.
smt2_parser_test_resultt smt2irep(const std::string &input)
smt2_parser_test_resultt smt2_parser_success(irept parse_tree)