QA Report

[c4-submissions]

See the markdown file with the details of this report here.

[0xleastwood]

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]

0xleastwood marked the issue as grade-a

[c4-sponsor]

elmutt (sponsor) confirmed

[c4-judge]

0xleastwood marked the issue as selected for report