From 6dc281c3b5f30f3aec2ea4fa176df8b178515f2d Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 28 Jan 2011 10:26:47 +0000 Subject: [PATCH] Change default QAR setting: refine all. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2418 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/explicit/QuantAbstractRefine.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/explicit/QuantAbstractRefine.java b/prism/src/explicit/QuantAbstractRefine.java index b87bec6b..16c7646b 100644 --- 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