File: mypy.ini

package info (click to toggle)
python3.14 3.14.0-2
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 127,172 kB
  • sloc: python: 747,410; ansic: 714,407; xml: 31,250; sh: 5,989; cpp: 4,063; makefile: 1,993; objc: 787; lisp: 502; javascript: 136; asm: 75; csh: 12
file content (11 lines) | stat: -rw-r--r-- 226 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
 
[mypy]
files = Tools/wasm/wasm_*.py
pretty = True
show_traceback = True

# Make sure the wasm can be run using Python 3.8:
python_version = 3.8

# Be strict...
strict = True
enable_error_code = truthy-bool,ignore-without-code