smt2_parser_test_resultt Struct Reference

#include <smt2irep.h>

Collaboration diagram for smt2_parser_test_resultt:

Public Attributes
std::optional< irept >	parsed_output
std::string	messages

Detailed Description

Definition at line 13 of file smt2irep.h.

Member Data Documentation

messages

std::string smt2_parser_test_resultt::messages

Definition at line 16 of file smt2irep.h.

parsed_output

std::optional<irept> smt2_parser_test_resultt::parsed_output

Definition at line 15 of file smt2irep.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/unit/testing-utils/smt2irep.h