[K] kprove depends on Python version?

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

[K] kprove depends on Python version? #45

Open nrryuya opened 5 years ago

nrryuya commented 5 years ago

When I did make erc20 in Python 3.6.5 environment, I got [Error] Critical: Z3 crashed on input query error (gist). However, specs generated in Python 3.7 are proved.

I doubt these. https://github.com/LayerXcom/verified-vyper-contracts/blob/1ba13d6616198e2111b2c60bb5afd018dbf0b49c/k/resources/gen-spec.py#L14

nrryuya commented 5 years ago

The above was not correct. The spec generated in Python 3.6.5 was proved in Python 3.7.

nrryuya commented 5 years ago

Also, the spec generated in Python 3.7 failed in Python 3.6.5. It might be related to my local pyenv environment.