Comment 2 for bug 1166166

Revision history for this message
Peter Gjøl Jensen (peter-gjoel) wrote :

Bug-branch is:
lp:~verifydtapn-contributers/verifydtapn/CutOptimization

Check code in line 265 - 285 of NonStrictMarkingBase.cpp