Add test_burnFrom_and_Allowance

LayerXcom / verified-vyper-contracts

FVyper: A collection of useful Vyper contracts developed with formal methods

Apache License 2.0

55 stars 15 forks source link

Closed yudetamago closed 5 years ago

yudetamago commented 5 years ago

The most part of this test was copied from test_transferFrom_and_Allowance

modifications

convert transferFrom(from, ..., tokens, transact={'from': sender}) to burnFrom(from, tokens, transact={'from': sender}) (from test_transferFrom_and_Allowance)
add checking that burnFrom to ZERO_ADDRESS fails

yudetamago commented 5 years ago

👍