Added Storm and BCSL tests to mypy typing exception list

This commit is contained in:
Matej Trojak
2022-07-28 21:18:23 -05:00
parent 5241c609a1
commit e5fcef62b7
+4
View File
@@ -881,3 +881,7 @@ check_untyped_defs = False
check_untyped_defs = False
[mypy-*.config.test_config_values]
check_untyped_defs = False
[mypy-*.datatypes.test_storm]
check_untyped_defs = False
[mypy-*.datatypes.test_bcsl]
check_untyped_defs = False