Details
Description
transferAmount is a random number that could be zero. If it's zero, the updates would be no-ops, thus violating the invariant that exactly one update should be performed.
transferAmount is a random number that could be zero. If it's zero, the updates would be no-ops, thus violating the invariant that exactly one update should be performed.