core/dev.gmitch215.drift.contract/ContractReport

ContractReport

class ContractReport(val results: List<AssertionResult>)(source)

One AssertionResult per assertion, in contract order.

Constructors

constructor(results: List<AssertionResult>)

Properties

val breaks: Int

val first: AssertionResult?

val ok: Boolean

val results: List<AssertionResult>

val unverifiable: Int

Functions

fun json(): String

fun text(): String

fun toJson(): JsonObject