Browse Source

Replaced permutation assertion by exception to give better warning

tempestpy_adaptions
Matthias Volk 6 years ago
parent
commit
3fd9522770
  1. 2
      src/storm-dft/modelchecker/dft/DFTModelChecker.cpp

2
src/storm-dft/modelchecker/dft/DFTModelChecker.cpp

@ -110,7 +110,7 @@ namespace storm {
int limK = invResults ? -1 : nrM+1; int limK = invResults ? -1 : nrM+1;
int chK = invResults ? -1 : 1; int chK = invResults ? -1 : 1;
// WARNING: there is a bug for computing permutations with more than 32 elements // WARNING: there is a bug for computing permutations with more than 32 elements
STORM_LOG_ASSERT(res.size() < 32, "Permutations work only for < 32 elements");
STORM_LOG_THROW(res.size() < 32, storm::exceptions::NotSupportedException, "Permutations work only for < 32 elements");
for(int cK = nrK; cK != limK; cK += chK ) { for(int cK = nrK; cK != limK; cK += chK ) {
STORM_LOG_ASSERT(cK >= 0, "ck negative."); STORM_LOG_ASSERT(cK >= 0, "ck negative.");
size_t permutation = smallestIntWithNBitsSet(static_cast<size_t>(cK)); size_t permutation = smallestIntWithNBitsSet(static_cast<size_t>(cK));

Loading…
Cancel
Save