KetraTerm
API · v0.2.2All versions

TerminalDifferentialResult

data class TerminalDifferentialResult(val oracle: TerminalOracleIdentity, val differences: List<TerminalConformanceDifference>, val truncated: Boolean)

Result of comparing KetraTerm with an independent terminal implementation.

Constructors

Link copied to clipboard
constructor(oracle: TerminalOracleIdentity, differences: List<TerminalConformanceDifference>, truncated: Boolean)

Properties

Link copied to clipboard

Structured differences within the explicitly supported intersection.

Link copied to clipboard

Whether both implementations agree on every compared semantic field.

Link copied to clipboard

Exact oracle implementation used for the comparison.

Link copied to clipboard

Whether additional differences were omitted after reaching the configured bound.

Functions

Link copied to clipboard
fun format(): String

Formats a deterministic diagnostic suitable for CI failure output.