class PropertyContext
A PropertyContext is used when executing a propery test. It allows feedback and tracking of the state of the property test.
<init> |
A PropertyContext is used when executing a propery test. It allows feedback and tracking of the state of the property test. PropertyContext() |
attempts |
fun attempts(): Int |
classifications |
fun classifications(): Map<String, Int> |
classify |
fun classify(condition: Boolean, label: String): Unitfun classify(condition: Boolean, trueLabel: String, falseLabel: String): Unit |
failures |
fun failures(): Int |
markFailure |
fun markFailure(): Unit |
markSuccess |
fun markSuccess(): Unit |
successes |
fun successes(): Int |
checkMaxSuccess |
fun PropertyContext.checkMaxSuccess(config: PropTestConfig, seed: Long): Unit |