Stderr

data class Stderr(val text: String) : SolverSignal

A chunk of standard-error text produced by the query.

Constructors

Link copied to clipboard
constructor(text: String)

Properties

Link copied to clipboard