From ced0d3fbb91fa46bdff002e8f71f1e76e52e03c6 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 13 Sep 2018 16:08:42 +0200
Subject: [PATCH] Assertion requiring equal bitsizes of BitVectorHashMap and
 key

---
 src/storm/storage/BitVectorHashMap.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/storage/BitVectorHashMap.cpp b/src/storm/storage/BitVectorHashMap.cpp
index 1301c4fa5..652d4e99f 100644
--- a/src/storm/storage/BitVectorHashMap.cpp
+++ b/src/storm/storage/BitVectorHashMap.cpp
@@ -159,6 +159,7 @@ namespace storm {
         
         template<class ValueType, class Hash>
         std::pair<bool, uint64_t> BitVectorHashMap<ValueType, Hash>::findBucket(storm::storage::BitVector const& key) const {
+            STORM_LOG_ASSERT(key.size() == bucketSize, "Size of bit vector and size of buckets do not match");
             uint64_t bucket = hasher(key) >> this->getCurrentShiftWidth();
             
             while (isBucketOccupied(bucket)) {