From: jjenista <jjenista>
Date: Tue, 10 Mar 2009 19:37:32 +0000 (+0000)
Subject: Crack at tuning the punt number between keeping problem tractable and not introducing... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=e2927f46a246729f321fbdf56526a460a94c71e4;p=IRC.git

Crack at tuning the punt number between keeping problem tractable and not introducing multi-tokens too soon
---

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();