This is a fix for the no-jrl option. For this option, we invoke the dfsVisit method multiple times. But we do not want to overwrite interval numbers that we have already stored. Bit of a hack, but seems to work...
This is a fix for the no-jrl option. For this option, we invoke the dfsVisit method multiple times. But we do not want to overwrite interval numbers that we have already stored. Bit of a hack, but seems to work...

mbenz89/soot,plast-lab/soot,xph906/SootNew,anddann/soot,mbenz89/soot,cfallin/soot,cfallin/soot,anddann/soot,xph906/SootNew,plast-lab/soot,plast-lab/soot,mbenz89/soot,cfallin/soot,mbenz89/soot,cfallin/soot,xph906/SootNew,anddann/soot,anddann/soot,xph906/SootNew