From b2ea3993ef168d5c9766ae583c7c54aa0dccc3e2 Mon Sep 17 00:00:00 2001 From: Matthias Volk Date: Wed, 30 Jan 2019 22:04:58 +0100 Subject: [PATCH] Fixed assertion in symbolic bisimulation --- src/storm/storage/dd/bisimulation/QuotientExtractor.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/storm/storage/dd/bisimulation/QuotientExtractor.cpp b/src/storm/storage/dd/bisimulation/QuotientExtractor.cpp index 1ba224331..36f7f1fe3 100644 --- a/src/storm/storage/dd/bisimulation/QuotientExtractor.cpp +++ b/src/storm/storage/dd/bisimulation/QuotientExtractor.cpp @@ -998,6 +998,8 @@ namespace storm { // Check quotient matrix for sanity. if (std::is_same::value) { STORM_LOG_ASSERT(quotientTransitionMatrix.greater(storm::utility::one()).isZero(), "Illegal entries in quotient matrix."); + } else if (std::is_same::value) { + // No comparison for rational functions } else { STORM_LOG_ASSERT(quotientTransitionMatrix.greater(storm::utility::one() + storm::utility::convertNumber(1e-6)).isZero(), "Illegal entries in quotient matrix."); }