You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Document the invariant that Fund's totalRevenue never decreases. (otherwise line 64 totalRevenue - revenueAtTimeOfWithdraw[forAddress], becomes a negative number, leading to value being really big, and thus block all withdrawals)
Document the invariant that Fund's
totalRevenue
never decreases. (otherwise line 64 totalRevenue - revenueAtTimeOfWithdraw[forAddress], becomes a negative number, leading to value being really big, and thus block all withdrawals)9358448#commitcomment-18370130
The text was updated successfully, but these errors were encountered: