Seth Yastrov 0e30821ad3 Add possibility to pass list of test names as command-line arguments to typecheck_tests.py script.

2019-02-22 20:03:30 +01:00

..

mypy.ini

fix integer set type

2019-02-20 02:38:45 +03:00

typecheck_tests.py

Add possibility to pass list of test names as command-line arguments to typecheck_tests.py script.

2019-02-22 20:03:30 +01:00

typecheck-tests-requirements.txt

move to plain python script for typechecking

2019-01-26 19:12:24 +03:00