smtlib_convt::external_process_died Struct Reference

Thrown when the external solver process can no longer provide a usable answer: a write hit EPIPE (the process died) or its response could not be parsed (typically EOF from a dead process). More...

#include <smtlib_conv.h>

Inheritance diagram for smtlib_convt::external_process_died:

Detailed Description

Thrown when the external solver process can no longer provide a usable answer: a write hit EPIPE (the process died) or its response could not be parsed (typically EOF from a dead process).

---

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

• src/solvers/smtlib/smtlib_conv.h