lsp/io.github.jmltoolkit.lsp/SmtResult

SmtResult

data class SmtResult(val out: String, val err: String, val exitCode: Int)(source)

Author

Alexander Weigl

Constructors

constructor(out: String, err: String, exitCode: Int)

Properties

val err: String

val exitCode: Int

val out: String