Merge branch 'simpleMDPApproach' of github.com:TimoPGros/storm into simpleMDPApproach

7 years ago · ccbcd4ef5e
1 changed files with 2 additions and 1 deletions
--- a/src/storm/utility/numerical.cpp
+++ b/src/storm/utility/numerical.cpp
@ -229,6 +229,7 @@ namespace storm {
                        } else {
                            t = j;
                            result.right = j + result.left;
+                            result.weights.resize(result.right - result.left + 1);
                            
                            // It's time to compute W.
                            break;
@ -257,7 +258,7 @@ namespace storm {
                }
                result.totalWeight += result.weights[j];
                
-                STORM_LOG_TRACE("Fox-Glynn: ltp = " << result.left << ", rtp = " << result.right << ", w = " << result.totalWeight << ".");
+                STORM_LOG_TRACE("Fox-Glynn: ltp = " << result.left << ", rtp = " << result.right << ", w = " << result.totalWeight << ", " << result.weights.size() << " weights.");
                
                return result;
            }