Skip to content

Commit

Permalink
Update todo
Browse files Browse the repository at this point in the history
  • Loading branch information
@Drodt
Drodt committed Jun 15, 2024
1 parent 227c3d5 commit 226a2ce
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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


0 comments on commit 226a2ce

Please sign in to comment.