From 226a2cea9a86a903ab51e2876c612cb5071feb63 Mon Sep 17 00:00:00 2001
From: Drodt <daniel.drodt@tu-darmstadt.de>
Date: Sat, 15 Jun 2024 21:35:19 +0200
Subject: [PATCH] Update todo

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 432e2c6..92a3b90 100644
--- a/README.md
+++ b/README.md
@@ -85,7 +85,7 @@ Deadline: next kakey meeting, 21.06.2024
 * WP:
   * [ ] seqSwap auf main
   * [ ] Integer Semantics/Overflows
-  * [ ] Test[Test::test()].JML normal_behavior operation contract.0
+  * [x] Test[Test::test()].JML normal_behavior operation contract.0
     Test::test() w/o Z3