bench/dev.gmitch215.drift.bench/SolveCase

SolveCase

class SolveCase(source)

Properties

val cause: String?

val declaredHeld: Boolean

val kind: String?

val klass: String

val minimalHolds: Boolean

val outcome: SolveOutcome

val ranks: SolveRanks?

val stuck: Boolean

val trials: Int?

val verdict: Boolean

A verdict that is not stuck.