From 132c29310552cde2469f996d7b7c230d86b2f877 Mon Sep 17 00:00:00 2001 From: hannah Date: Thu, 8 Apr 2021 22:29:10 +0200 Subject: [PATCH] TYPED_TESTS for LTL modelchecker --- .../storm/modelchecker/prctl/dtmc/DtmcPrctlModelCheckerTest.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/test/storm/modelchecker/prctl/dtmc/DtmcPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/prctl/dtmc/DtmcPrctlModelCheckerTest.cpp index af1882e5a..dad2c4c6b 100755 --- a/src/test/storm/modelchecker/prctl/dtmc/DtmcPrctlModelCheckerTest.cpp +++ b/src/test/storm/modelchecker/prctl/dtmc/DtmcPrctlModelCheckerTest.cpp @@ -740,7 +740,6 @@ namespace { // LTL not supported in all engines (Hybrid, PrismDd, JaniDd) if (TypeParam::engine == DtmcEngine::PrismSparse || TypeParam::engine == DtmcEngine::JaniSparse || TypeParam::engine == DtmcEngine::JitSparse) { - EXPECT_TRUE(checker->canHandle(tasks[0])); result = checker->check(tasks[0]); EXPECT_NEAR(this->parseNumber("1/6"), this->getQuantitativeResultAtInitialState(model, result), this->precision()); @@ -785,7 +784,6 @@ namespace { // LTL not supported in all engines (Hybrid, PrismDd, JaniDd) if (TypeParam::engine == DtmcEngine::PrismSparse || TypeParam::engine == DtmcEngine::JaniSparse || TypeParam::engine == DtmcEngine::JitSparse) { - EXPECT_TRUE(checker->canHandle(tasks[0])); result = checker->check(tasks[0]); EXPECT_NEAR(this->parseNumber("16/25"), this->getQuantitativeResultAtInitialState(model, result), this->precision());