test(invariant): fix Cursor Bugbot findings (I10 membership mgr + I12/I13 non-vacuity)#474

seongyun-ko merged 1 commit into

seongyun/fuzz/security-upgradesetherfi-protocol/smart-contracts:seongyun/fuzz/security-upgradesfrom

seongyun/fix/bugbot-470etherfi-protocol/smart-contracts:seongyun/fix/bugbot-470Copy head branch name to clipboard