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

add vyper spec template #2

Closed yudetamago closed 5 years ago

yudetamago commented 5 years ago
  1. make all
  2. write spec to vyper-spec.ini
  3. add spec_name.k to vyper_files in Makefile
  4. make specs/vyper/spec_name.k.test
nrryuya commented 5 years ago

Could you ## add how to get started in README?

yudetamago commented 5 years ago

I'll add it. 👍