kone.util.concurrencyTestUtils/dev.lounres.kone.util.concurrencyTestUtils/ModelCheckingOptionsBuilder/addGuarantees

addGuarantees

inline fun addGuarantees(guaranteesBuilder: ManagedStrategyGuaranteesBuilder.() -> Unit)(source)
Generated by Dokka
Copyright © 2025 Gleb Minaev
All rights reserved. Licensed under the Apache License, Version 2.0. See the license in file LICENSE