Depth heuristic did not skip

8 years ago · affa7db555
1 changed files with 1 additions and 1 deletions
--- a/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp
+++ b/src/storm-dft/builder/ExplicitDFTModelBuilderApprox.cpp
@ -177,7 +177,7 @@ namespace storm {
                        approximationThreshold = dft.nrElements()+10;
                        break;
                    case storm::builder::ApproximationHeuristic::DEPTH:
                        approximationThreshold = iteration;
                        approximationThreshold = iteration + 1;
                        break;
                    case storm::builder::ApproximationHeuristic::PROBABILITY:
                    case storm::builder::ApproximationHeuristic::BOUNDDIFFERENCE: