diff --git a/mypy.ini b/mypy.ini
index f1e3be930eb..2b2b7e4d2f6 100644
--- a/mypy.ini
+++ b/mypy.ini
@@ -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