smt2_parser_test_resultt Struct Reference
#include <smt2irep.h>
Collaboration diagram for smt2_parser_test_resultt:Public Attributes | |
| optionalt< 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
Definition at line 15 of file smt2irep.h.
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc-documentation/cbmc-documentation/unit/testing-utils/smt2irep.h
