ContractResult

Types

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

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

data class Inseparable(val reds: List<String>, val candidates: Int) : ContractResult

The reds that break nothing every green satisfies, so no assertion can tell them apart.