Update TODOs with feature from #581

jqwik-team · Jul 1, 2024 · 81f057a · 81f057a
1 parent a73c4de
commit 81f057a
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,5 +1,8 @@
 # 1.9.1
 
+    - JqwikSession:
+      - setRandomSessionSeed(), getRandomSessionSeed()
+
 
 # 1.9.x
 
@@ -27,9 +30,6 @@
       - Maybe ModelChain can be fully generated before it's provided as parameter? This could enable repeatability of shrinked samples.
       - See example in https://github.com/jlink/model-based-testing/tree/jqwik170/src/test/java/mbt/tecoc/withModelChain
 
-    - JqwikSession:
-      - setRandomSessionSeed(), getRandomSessionSeed()
-
     - Allow state machine / model specification with temporal logic.
       See https://wickstrom.tech/programming/2021/05/03/specifying-state-machines-with-temporal-logic.html