search

liderako / eth_contracts

0 stars 1 forks source link

Test depositEth and withdrawEth. #3

Closed liderako closed 6 years ago

liderako commented 6 years ago
  1. Test deposit and withdraw Eth in exchange smart-contact
liderako commented 6 years ago

Protected if balance < amount. Done. [Withdraw]

liderako commented 6 years ago

Protected if amount == 0. Done. [Withdraw]

liderako commented 6 years ago

Check when all user balance == 0 after withdraw. [Withdraw]

liderako commented 6 years ago

Protected if amount == 0. Done. [Deposit]

liderako commented 6 years ago

Protected if overflow. Overflow when (amount == balance) and amount == max_uint and balance == max_uint. This is impossible