increase debug level required for printing worklists
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2691 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
7743b16407
commit
727e6c9190
|
@ -67,6 +67,7 @@ public class TabulationSolver<T, P> {
|
||||||
* <li>0 No output
|
* <li>0 No output
|
||||||
* <li>1 Print some simple stats and warning information
|
* <li>1 Print some simple stats and warning information
|
||||||
* <li>2 Detailed debugging
|
* <li>2 Detailed debugging
|
||||||
|
* <li>3 Also print worklists
|
||||||
* </ul>
|
* </ul>
|
||||||
*/
|
*/
|
||||||
protected static final int DEBUG_LEVEL = 0;
|
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) {
|
protected void addToWorkList(T s_p, int i, T n, int j) {
|
||||||
worklist.insert(PathEdge.createPathEdge(s_p, i, n, j));
|
worklist.insert(PathEdge.createPathEdge(s_p, i, n, j));
|
||||||
if (DEBUG_LEVEL >= 2) {
|
if (DEBUG_LEVEL >= 3) {
|
||||||
System.err.println("WORKLIST: " + worklist);
|
System.err.println("WORKLIST: " + worklist);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue