implementation("com.xebia.karat:karat-kotest-ktor:0.1.3")Integrates linear temporal logic specifications with Kotest for testing Ktor applications, enabling formal verification of system behaviors.
| Version | Release | Platforms and targets |
|---|---|---|
| 0.1.3 | Release: 10 Aug 2023 | JVMKotlin/Native LinuxmacOS |
| 0.1.3-alpha.3 | Release: 10 Aug 2023 | JVMKotlin/Native LinuxmacOS |
| Version | Release | Platforms and targets |
|---|---|---|
| 0.1.3 | Release: 10 Aug 2023 | JVMKotlin/Native LinuxmacOS |
| 0.1.3-alpha.3 | Release: 10 Aug 2023 | JVMKotlin/Native LinuxmacOS |