From 9fa297b2aa64a29d190d6cd429fe4352873a4186 Mon Sep 17 00:00:00 2001 From: Jip Spel Date: Fri, 26 Oct 2018 15:05:01 +0200 Subject: [PATCH] Fix test --- src/test/storm-pars/analysis/AssumptionCheckerTest.cpp | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/src/test/storm-pars/analysis/AssumptionCheckerTest.cpp b/src/test/storm-pars/analysis/AssumptionCheckerTest.cpp index 95345eb66..2e59d1b13 100644 --- a/src/test/storm-pars/analysis/AssumptionCheckerTest.cpp +++ b/src/test/storm-pars/analysis/AssumptionCheckerTest.cpp @@ -62,7 +62,11 @@ TEST(AssumptionCheckerTest, Brp_no_bisimulation) { storm::expressions::BinaryRelationExpression::RelationType::GreaterOrEqual)); EXPECT_TRUE(checker.checkOnSamples(assumption)); - auto dummyLattice = new storm::analysis::Lattice(storm::storage::BitVector(8), storm::storage::BitVector(8), 8); + storm::storage::BitVector above(8); + above.set(0); + storm::storage::BitVector below(8); + below.set(1); + auto dummyLattice = new storm::analysis::Lattice(above, below, 8); // Validate assumption EXPECT_FALSE(checker.validateAssumption(assumption, dummyLattice)); EXPECT_FALSE(checker.validated(assumption)); @@ -74,9 +78,9 @@ TEST(AssumptionCheckerTest, Brp_no_bisimulation) { expressionManager->getVariable("6").getExpression().getBaseExpressionPointer(), expressionManager->getVariable("8").getExpression().getBaseExpressionPointer(), storm::expressions::BinaryRelationExpression::RelationType::GreaterOrEqual)); - storm::storage::BitVector above(13); + above = storm::storage::BitVector(13); above.set(12); - storm::storage::BitVector below(13); + below = storm::storage::BitVector(13); below.set(9); dummyLattice = new storm::analysis::Lattice(above, below, 13); EXPECT_TRUE(checker.checkOnSamples(assumption));