
implementation("com.xebia.karat:karat-turbine:0.1.3")karat-turbine offers a DSL for specifying systems using linear temporal logic, facilitating temporal property testing.
| 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 |