From f675d60cccfaf7758041ff93e5e0a651b1b9cc81 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 24 Nov 2017 10:32:24 +0100
Subject: [PATCH] Added assertion

---
 src/storm-dft/modelchecker/dft/DFTASFChecker.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
index ae70b1317..fa5ada44c 100644
--- a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
+++ b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
@@ -356,6 +356,7 @@ namespace storm {
             // Encoding for gates
             for (size_t i = 0; i < dft.nrElements(); ++i) {
                 std::shared_ptr<storm::storage::DFTElement<ValueType> const> element = dft.getElement(i);
+                STORM_LOG_ASSERT(i == element->id(), "Id and index should match.");
 
                 // Get indices for gate children
                 std::vector<uint64_t> childVarIndices;