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 this never decreases. (otherwise line 64 totalRevenue - revenueAtTimeOfWithdraw[forAddress], becomes a negative number, leading to value being really big, and thus block all withdrawals)
The text was updated successfully, but these errors were encountered:
For example,
totalRevenue
9358448#commitcomment-18370130
document the invariant that this never decreases. (otherwise line 64 totalRevenue - revenueAtTimeOfWithdraw[forAddress], becomes a negative number, leading to value being really big, and thus block all withdrawals)
The text was updated successfully, but these errors were encountered: