enhance a debugging message
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1399 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
70b22bf4c6
commit
e9d5490c1e
|
@ -754,7 +754,7 @@ public class TabulationSolver<T, P> {
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Propagate the fact <s_p,i> -> <n, j> has arisin as a path edge. Note: apply
|
* Propagate the fact <s_p,i> -> <n, j> has arisen as a path edge. Note: apply
|
||||||
* merging if necessary.
|
* merging if necessary.
|
||||||
*
|
*
|
||||||
* Merging: suppose we're doing propagate <s_p,i> -> <n,j> but we already have
|
* Merging: suppose we're doing propagate <s_p,i> -> <n,j> but we already have
|
||||||
|
@ -776,7 +776,7 @@ public class TabulationSolver<T, P> {
|
||||||
int number = supergraph.getLocalBlockNumber(n);
|
int number = supergraph.getLocalBlockNumber(n);
|
||||||
if (Assertions.verifyAssertions) {
|
if (Assertions.verifyAssertions) {
|
||||||
if (number < 0) {
|
if (number < 0) {
|
||||||
System.err.println("BOOM");
|
System.err.println("BOOM " + n);
|
||||||
supergraph.getLocalBlockNumber(n);
|
supergraph.getLocalBlockNumber(n);
|
||||||
}
|
}
|
||||||
Assertions._assert(number >= 0);
|
Assertions._assert(number >= 0);
|
||||||
|
|
Loading…
Reference in New Issue