Change default QAR setting: refine all.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2418 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · 6dc281c3b5
1 changed files with 1 additions and 1 deletions
--- a/prism/src/explicit/QuantAbstractRefine.java
+++ b/prism/src/explicit/QuantAbstractRefine.java
@ -76,7 +76,7 @@ public abstract class QuantAbstractRefine
 	// Use convergence from above for value iteration?
 	protected boolean above = false;
 	// Abstraction-refinement settings
-	protected RefineStratWhere refineStratWhere = RefineStratWhere.ALL_MAX;
+	protected RefineStratWhere refineStratWhere = RefineStratWhere.ALL;
 	protected RefineStratHow refineStratHow = RefineStratHow.VAL;

 	// Private flags/settings