mirror of https://github.com/seL4/microkit.git
24 lines
585 B
INI
24 lines
585 B
INI
#
|
|
# Copyright 2021, Breakaway Consulting Pty. Ltd.
|
|
#
|
|
# SPDX-License-Identifier: BSD-2-Clause
|
|
#
|
|
[mypy]
|
|
warn_unused_configs = True
|
|
disallow_any_unimported = True
|
|
disallow_any_expr = False
|
|
disallow_any_decorated = True
|
|
disallow_any_explicit = True
|
|
disallow_any_generics = True
|
|
disallow_subclassing_any = True
|
|
disallow_untyped_calls = True
|
|
disallow_untyped_defs = True
|
|
disallow_incomplete_defs = True
|
|
disallow_untyped_decorators = True
|
|
no_implicit_optional = True
|
|
warn_redundant_casts = True
|
|
warn_unused_ignores = True
|
|
warn_return_any = True
|
|
warn_unreachable = True
|
|
strict_equality = True
|