From e2927f46a246729f321fbdf56526a460a94c71e4 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Tue, 10 Mar 2009 19:37:32 +0000
Subject: [PATCH] Crack at tuning the punt number between keeping problem
 tractable and not introducing multi-tokens too soon

---
 Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
index 6b2f845c..6f77ac1a 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
@@ -322,7 +322,7 @@ public class ReachabilitySet extends Canonical {
 
     int numDimensions = this.possibleReachabilities.size();
 
-    if( numDimensions > 1 ) {
+    if( numDimensions > 3 ) {
       // for problems that are too big, punt and use less
       // precise arity for reachability information
       TokenTupleSet ttsImprecise = new TokenTupleSet().makeCanonical();
-- 
2.34.1