From eb2b2fed305072c73f031db7034a7292951450d0 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 8 Apr 2014 17:19:41 +0200
Subject: [PATCH] Hotfix for DD abstraction layer: copy and paste mistake in
operator !\= is now fixed.
Former-commit-id: b815b7d7e8a1ac47e4f107fb690278722c96f690
---
src/storage/dd/CuddDd.cpp | 2 +-
test/functional/storage/CuddDdTest.cpp | 3 +++
2 files changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/storage/dd/CuddDd.cpp b/src/storage/dd/CuddDd.cpp
index 69fadf5c9..0e163c5f7 100644
--- a/src/storage/dd/CuddDd.cpp
+++ b/src/storage/dd/CuddDd.cpp
@@ -16,7 +16,7 @@ namespace storm {
}
bool Dd<DdType::CUDD>::operator!=(Dd<DdType::CUDD> const& other) const {
- return this->cuddAdd == other.getCuddAdd();
+ return this->cuddAdd != other.getCuddAdd();
}
Dd<DdType::CUDD> Dd<DdType::CUDD>::operator+(Dd<DdType::CUDD> const& other) const {
diff --git a/test/functional/storage/CuddDdTest.cpp b/test/functional/storage/CuddDdTest.cpp
index 9230f00e3..8a5be849a 100644
--- a/test/functional/storage/CuddDdTest.cpp
+++ b/test/functional/storage/CuddDdTest.cpp
@@ -118,6 +118,9 @@ TEST(CuddDd, OperatorTest) {
manager->addMetaVariable("x", 1, 9);
EXPECT_TRUE(manager->getZero() == manager->getZero());
EXPECT_FALSE(manager->getZero() == manager->getOne());
+
+ EXPECT_FALSE(manager->getZero() != manager->getZero());
+ EXPECT_TRUE(manager->getZero() != manager->getOne());
storm::dd::Dd<storm::dd::DdType::CUDD> dd1 = manager->getOne();
storm::dd::Dd<storm::dd::DdType::CUDD> dd2 = manager->getOne();