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

nrryuya commented 5 years ago

We need a command which creates the summary of the results of all specs.

yudetamago commented 5 years ago

If possible, it is also useful to save detailed execution debug logs for later use.

nrryuya commented 5 years ago

Also I want to pass option of kprove like make erc20/balanceOf-spec.k.test --log-basic

yudetamago commented 5 years ago

TODO

How to modify hashedLocation ( https://github.com/LayerXcom/verified-vyper-contracts/tree/master/k#hashedlocation ) non-interactively?
- or use forked kevm repository?
Do in specific branch or only changed files?

nrryuya commented 5 years ago

I'm OK about using forked KEVM, not only in CI.

nrryuya commented 5 years ago

I modified in the forked repository at the commit 0c6c620ef7e84148ce8d63d732317301a66db61c.

yudetamago commented 5 years ago

Thanks! I'll try with your commit

nrryuya commented 5 years ago

54