Skip to content

Latest commit

 

History

History

Faucet

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Readme.md
Readme.md
 
 
blockchain_1.json
blockchain_1.json
 
 
blockchain_10.json
blockchain_10.json
 
 
blockchain_2.json
blockchain_2.json
 
 
blockchain_3.json
blockchain_3.json
 
 
blockchain_4.json
blockchain_4.json
 
 
blockchain_5.json
blockchain_5.json
 
 
blockchain_6.json
blockchain_6.json
 
 
blockchain_7.json
blockchain_7.json
 
 
blockchain_8.json
blockchain_8.json
 
 
blockchain_9.json
blockchain_9.json
 
 
contract.scilla
contract.scilla
 
 
init.json
init.json
 
 
message_1.json
message_1.json
 
 
message_10.json
message_10.json
 
 
message_2.json
message_2.json
 
 
message_3.json
message_3.json
 
 
message_4.json
message_4.json
 
 
message_5.json
message_5.json
 
 
message_6.json
message_6.json
 
 
message_7.json
message_7.json
 
 
message_8.json
message_8.json
 
 
message_9.json
message_9.json
 
 
output_1.json
output_1.json
 
 
output_10.json
output_10.json
 
 
output_2.json
output_2.json
 
 
output_3.json
output_3.json
 
 
output_4.json
output_4.json
 
 
output_5.json
output_5.json
 
 
output_6.json
output_6.json
 
 
output_7.json
output_7.json
 
 
output_8.json
output_8.json
 
 
output_9.json
output_9.json
 
 
state_1.json
state_1.json
 
 
state_10.json
state_10.json
 
 
state_2.json
state_2.json
 
 
state_3.json
state_3.json
 
 
state_4.json
state_4.json
 
 
state_5.json
state_5.json
 
 
state_6.json
state_6.json
 
 
state_7.json
state_7.json
 
 
state_8.json
state_8.json
 
 
state_9.json
state_9.json
 
 

Readme.md

Faucet Contract

It contains Faucet Contract implementation in Scilla.

References taken:
https://github.com/WeTrustPlatform/erc20faucet-contracts/blob/master/contracts/ERC20Faucet.sol

Test cases

  1. getTokens: get the tokens by _amount. Expected: [Success] 5.
  2. setMaxAllowance: sets maximum allowance of tokens to claim (allowed to owner only). Expected: [Success] 500.
  3. reclaimTokens: reclaim the tokens (allowed to owner only). Expected: [Success] true.
  4. setPause: pauses the selling of tokens Expected: [Success] Event:Paused.
  5. BalanceOf: returns balance of tokenOwner. Expected: [Success] 10
  6. MaxAllowance:The maximum amount (inclusive) allowed to claim. Expected: [Success] 500.
  7. Transfer: transfers tokens from _sender to to. Expected: [Success] Event:Transfer.
  8. TransferFrom: transfers tokens from from to to. Expected: [Success] Event:TransferFrom.
  9. Approve: approves tokens to spender by _sender. Expected: [Success] Event:Approve.
  10. Allowance: checks whether tokenOwner has approved spender. Expected: [Success] Event:Allowance.