Commit Graph

3 Commits

Author SHA1 Message Date
50937ab7fd refactorings I 2024-11-27 16:50:18 +01:00
e31f2e3544 init refactoring exercise 2024-11-27 13:09:22 +01:00
51f58d19bc testing with JAZZER 2024-10-30 19:29:50 +01:00