From fe5e4c4e1d8f6e46c80e209b10ef9d5aeac56224 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 22 Jul 2020 15:17:05 +0200
Subject: [PATCH] Updated DFT test which is not throwing an exception anymore

---
 src/test/storm-dft/api/DftParserTest.cpp | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/test/storm-dft/api/DftParserTest.cpp b/src/test/storm-dft/api/DftParserTest.cpp
index 05edb5b73..2744254a4 100644
--- a/src/test/storm-dft/api/DftParserTest.cpp
+++ b/src/test/storm-dft/api/DftParserTest.cpp
@@ -26,8 +26,11 @@ namespace {
         STORM_SILENT_EXPECT_THROW(storm::api::loadDFTGalileoFile<double>(file), storm::exceptions::WrongFormatException);
     }
 
-    TEST(DftParserTest, CatchSeqChildren) {
+    TEST(DftParserTest, LoadSeqChildren) {
         std::string file = STORM_TEST_RESOURCES_DIR "/dft/seqChild.dft";
-        STORM_SILENT_EXPECT_THROW(storm::api::loadDFTGalileoFile<double>(file), storm::exceptions::WrongFormatException);
+        std::shared_ptr<storm::storage::DFT<double>> dft = storm::api::loadDFTGalileoFile<double>(file);
+        EXPECT_EQ(4ul, dft->nrElements());
+        EXPECT_EQ(2ul, dft->nrBasicElements());
+        EXPECT_TRUE(storm::api::isWellFormed(*dft).first);
     }
 }