kotcity4 / kotcity.automata / ContactFulfiller / terminateRandomContracts

terminateRandomContracts

fun terminateRandomContracts(): Unit