Skip to content

Commit

Permalink
Loosen invariants to prevent griefing.
Browse files Browse the repository at this point in the history
  • Loading branch information
PeterBorah committed Jun 22, 2016
1 parent 0e3b3da commit 7d7ef27
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion contracts/TokenWithInvariants.sol
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ contract TokenWithInvariants {

modifier checkInvariants {
_
if (this.balance != totalSupply) throw;
if (this.balance < totalSupply) throw;
}

function deposit(uint amount) checkInvariants {
Expand Down

0 comments on commit 7d7ef27

Please sign in to comment.