From 334bcfd9774c8de504d15f810784e8e896784e1e Mon Sep 17 00:00:00 2001 From: dehnert Date: Sat, 6 Oct 2018 16:20:14 +0200 Subject: [PATCH] removed some tests to reflect new behavior of JANI compositions may refer to unknown actions --- .../storm/builder/DdJaniModelBuilderTest.cpp | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/src/test/storm/builder/DdJaniModelBuilderTest.cpp b/src/test/storm/builder/DdJaniModelBuilderTest.cpp index 1515b83e3..6cce536b4 100644 --- a/src/test/storm/builder/DdJaniModelBuilderTest.cpp +++ b/src/test/storm/builder/DdJaniModelBuilderTest.cpp @@ -441,15 +441,6 @@ TEST(DdJaniModelBuilderTest_Cudd, SynchronizationVectors) { model = builder.build(janiModel); EXPECT_EQ(4ul, model->getNumberOfStates()); EXPECT_EQ(5ul, model->getNumberOfTransitions()); - - inputVector.clear(); - inputVector.push_back("b"); - inputVector.push_back("c"); - inputVector.push_back("b"); - synchronizationVectors.push_back(storm::jani::SynchronizationVector(inputVector, "e")); - newComposition = std::make_shared(automataCompositions, synchronizationVectors); - janiModel.setSystemComposition(newComposition); - EXPECT_THROW(model = builder.build(janiModel), storm::exceptions::WrongFormatException); } TEST(DdJaniModelBuilderTest_Sylvan, SynchronizationVectors) { @@ -587,15 +578,6 @@ TEST(DdJaniModelBuilderTest_Sylvan, SynchronizationVectors) { model = builder.build(janiModel); EXPECT_EQ(4ul, model->getNumberOfStates()); EXPECT_EQ(5ul, model->getNumberOfTransitions()); - - inputVector.clear(); - inputVector.push_back("b"); - inputVector.push_back("c"); - inputVector.push_back("b"); - synchronizationVectors.push_back(storm::jani::SynchronizationVector(inputVector, "e")); - newComposition = std::make_shared(automataCompositions, synchronizationVectors); - janiModel.setSystemComposition(newComposition); - EXPECT_THROW(model = builder.build(janiModel), storm::exceptions::WrongFormatException); } TEST(DdJaniModelBuilderTest_Sylvan, Composition) {