From fd4743af3e05d802f5cce0f205e2a4f647998591 Mon Sep 17 00:00:00 2001 From: Dong-hee Na Date: Fri, 18 Aug 2023 01:54:09 +0900 Subject: [PATCH] Add mypy.ini --- Tools/cases_generator/mypy.ini | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 Tools/cases_generator/mypy.ini diff --git a/Tools/cases_generator/mypy.ini b/Tools/cases_generator/mypy.ini new file mode 100644 index 000000000000000..7f56e66fe90232a --- /dev/null +++ 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