Browse Source

correcting test

tempestpy_adaptions
dehnert 6 years ago
parent
commit
fd6452e6a4
  1. 4
      src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp

4
src/test/storm/modelchecker/MdpPrctlModelCheckerTest.cpp

@ -581,11 +581,11 @@ namespace {
// This example considers an expected total reward formula, which is not supported in all engines
if (TypeParam::engine == MdpEngine::PrismSparse || TypeParam::engine == MdpEngine::JaniSparse) {
if (TypeParam::engine == MdpEngine::PrismSparse || TypeParam::engine == MdpEngine::JaniSparse || TypeParam::engine == MdpEngine::JitSparse) {
result = checker->check(this->env(), tasks[0]);
EXPECT_NEAR(this->parseNumber("114/49"), this->getQuantitativeResultAtInitialState(model, result), this->precision());
} else {
EXPECT_FALSE(checker->canHandle(tasks[0]));
}
}
}
}
Loading…
Cancel
Save