DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

reset count on each call to solve() 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2805 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-05-12 17:16:44 +00:00
parent f1ddb98c43
commit 2728e0e107
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
com.ibm.wala.core/src/com/ibm/wala/dataflow/IFDS/BoundedTabulationSolver.java
View File

@ -12,6 +12,8 @@ package com.ibm.wala.dataflow.IFDS;
import org.eclipse.core.runtime.IProgressMonitor;
import com.ibm.wala.eclipse.util.CancelException;
/**
* A {@link TabulationSolver} that gives up after a finite bound.
*
@ -45,4 +47,10 @@ public class BoundedTabulationSolver<T, P> extends TabulationSolver<T, P> {
public int getNumSteps() {
return numSteps;
}
@Override
public TabulationResult<T, P> solve() throws CancelException {
numSteps = 0;
return super.solve();
}
}