From e5fcef62b702962e07213224894a672c30c8ea6f Mon Sep 17 00:00:00 2001
From: Matej Trojak <trojak@mail.muni.cz>
Date: Thu, 28 Jul 2022 21:18:23 -0500
Subject: [PATCH] Added Storm and BCSL tests to mypy typing exception list

---
 mypy.ini | 4 ++++
 1 file changed, 4 insertions(+)

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