From 5d0d220bd5775d0e4f28ae36eeaef71e11946a10 Mon Sep 17 00:00:00 2001 From: Johannes Link Date: Fri, 7 Jun 2024 08:58:16 +0200 Subject: [PATCH] Updated TODOs (3rd attempt in a row to get it right) --- TODO.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/TODO.md b/TODO.md index 43cd86fd5..fe87e60ed 100644 --- a/TODO.md +++ b/TODO.md @@ -5,16 +5,16 @@ - Fix nullability annotation problem https://github.com/jqwik-team/jqwik/issues/575 Maybe with PR https://github.com/jqwik-team/jqwik/issues/575 + - Upgrade to Kotlin 2.0 + - Fix type problems from K2 compiler + - Document differences between K1 and K2 in user guide + # 1.9.x - Migrate to https://docs.gradle.org/8.7/userguide/jvm_test_suite_plugin.html as preparation for Gradle 9 - - Upgrade to Kotlin 2.0 - - Fix type problems from K2 compiler - - Document differences between K1 and K2 in user guide - - Summon preconfigured arbitrary. See https://github.com/jqwik-team/jqwik/issues/527 - Using @UseType for sealed interfaces and classes: https://github.com/jqwik-team/jqwik/issues/523