From 727e6c91906cc969b81ee0d999221f1f0e8904fe Mon Sep 17 00:00:00 2001
From: msridhar1 <msridhar1@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Mon, 10 Mar 2008 03:28:02 +0000
Subject: [PATCH] increase debug level required for printing worklists

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2691 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java       | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
index ead57dbea..4ebbd7fc1 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
+++ b/com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/TabulationSolver.java
@@ -67,6 +67,7 @@ public class TabulationSolver<T, P> {
    * <li>0 No output
    * <li>1 Print some simple stats and warning information
    * <li>2 Detailed debugging
+   * <li>3 Also print worklists
    * </ul>
    */
   protected static final int DEBUG_LEVEL = 0;
@@ -798,7 +799,7 @@ public class TabulationSolver<T, P> {
 
   protected void addToWorkList(T s_p, int i, T n, int j) {
     worklist.insert(PathEdge.createPathEdge(s_p, i, n, j));
-    if (DEBUG_LEVEL >= 2) {
+    if (DEBUG_LEVEL >= 3) {
       System.err.println("WORKLIST: " + worklist);
     }
   }