Created

data class Created(val contract: Contract, val candidates: Int, val calls: Int) : ContractResult(source)

candidates counts what every green agrees on; calls is the ddmin test count.

Constructors

Link copied to clipboard
constructor(contract: Contract, candidates: Int, calls: Int)

Properties

Link copied to clipboard
val calls: Int
Link copied to clipboard
Link copied to clipboard