Don't fix version of coverage

florianschanda · florianschanda · commit ffa6bf4ad344 · 2025-11-17T17:50:20.000+01:00
That way we can still run tests with ancient python versions
diff --git a/requirements.txt b/requirements.txt
@@ -1,4 +1,4 @@
 cvc5==1.3.1
-coverage>=7.11
+coverage
 pylint>=4.0.3
 pycodestyle>=2.14
