
implementation("com.xebia.karat:karat-kotest:0.1.3")Integrates linear temporal logic specifications with Kotest for testing stateful systems over time.
| Version | Release | Platforms and targets |
|---|---|---|
| 0.1.3 | Release: 10 Aug 2023 | JVMKotlin/NativeJS LinuxmacOS |
| 0.1.3-alpha.3 | Release: 10 Aug 2023 | JVMKotlin/NativeJS LinuxmacOS |
| Version | Release | Platforms and targets |
|---|---|---|
| 0.1.3 | Release: 10 Aug 2023 | JVMKotlin/NativeJS LinuxmacOS |
| 0.1.3-alpha.3 | Release: 10 Aug 2023 | JVMKotlin/NativeJS LinuxmacOS |