cprover
Loading...
Searching...
No Matches
smt2_parser_test_resultt Struct Reference

#include <smt2irep.h>

Collaboration diagram for smt2_parser_test_resultt:

Public Attributes

std::optional< ireptparsed_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:
  • /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/unit/testing-utils/smt2irep.h