nw-pbt-jvm
Installation
SKILL.md
PBT JVM -- jqwik (Java/Kotlin) + ScalaCheck + ZIO Test
Framework Selection
| Framework | Language | Shrinking | Stateful | Choose When |
|---|---|---|---|---|
| jqwik | Java/Kotlin | Integrated | Yes (actions) | Java/Kotlin projects (recommended default) |
| ScalaCheck | Scala | Type-based | Yes (Commands) | Scala projects (established choice) |
| ZIO Test | Scala | Integrated | Via effects | ZIO-based Scala projects |
Quick Start (jqwik)
import net.jqwik.api.*;