Bug-branch is: lp:~verifydtapn-contributers/verifydtapn/CutOptimization
Check code in line 265 - 285 of NonStrictMarkingBase.cpp
Bug-branch is:
lp:~verifydtapn-contributers/verifydtapn/CutOptimization
Check code in line 265 - 285 of NonStrictMarkin gBase.cpp