0xleastwood
commented
1 year ago L-1 - valid
L-2 - valid
L-3 - valid
L-4 - valid
L-5 - valid
L-6 - AbstractStrategy(vEthAddress).withdraw() will revert if withdrawIdToWithdrawRequestInfo[_withdrawId].withdrawn holds true.
L-7 - valid
L-8 - valid
L-9 - valid
L-10 - should be non-critical
L-11 - same reason as L-6
L-12 - valid
L-13 - valid
L-14 - valid
L-15 - valid
L-16 - valid
L-17 - valid
NC-1 - valid NC-2 - valid NC-3 - valid NC-4 - valid
INFO-1 - valid
c4-judge
c4-sponsor
See the markdown file with the details of this report here.