From a244b5ff6702d7d1c3cfaa8fcd7249648c2bc475 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Basg=C3=B6ze?= <daniel.basgoeze@rwth-aachen.de>
Date: Fri, 3 Apr 2020 15:31:20 +0200
Subject: [PATCH] Add assertion for an implied limitation

---
 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 112f4d89d..5c7db0248 100644
--- a/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
+++ b/src/storm-dft/modelchecker/dft/DFTASFChecker.cpp
@@ -254,6 +254,7 @@ namespace storm {
             do {
                 // Construct selected children from combination
                 std::vector<uint64_t> combinationChildren;
+                STORM_LOG_ASSERT(vot->nrChildren() < 64, "Too many children of a VOT Gate.");
                 for (size_t j = 0; j < vot->nrChildren(); ++j) {
                     if (combination & (1ul << j)) {
                         combinationChildren.push_back(childVarIndices.at(j));