Skip to content
Prev Previous commit
Next Next commit
Add mypy.ini
  • Loading branch information
corona10 committed Aug 18, 2023
commit c0fb645fb231929fff0ed1ee83dc075f5b774c0c
11 changes: 11 additions & 0 deletions Tools/cases_generator/mypy.ini
Original file line number Diff line number Diff line change
@@ -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