search

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

Remove test_failed_send_in_withdraw #53

Closed yudetamago closed 5 years ago