Add mypy.ini

corona10 · Aug 17, 2023 · fd4743a · fd4743a
1 parent e5289de
commit fd4743a
Showing 1 changed file with 11 additions and 0 deletions.
diff --git a/Tools/cases_generator/mypy.ini b/Tools/cases_generator/mypy.ini
@@ -0,0 +1,11 @@
+[mypy]
+files = Tools/cases_generator/
+pretty = True
+
+python_version = 3.10
+
+# and be strict!
+strict = True
+strict_concatenate = True
+enable_error_code = ignore-without-code,redundant-expr,truthy-bool
+warn_unreachable = True