Commit 2f9fb4e
Everett Hildenbrandt
tests/proofs: update proofs submodule
1 parent bfd4a58 commit 2f9fb4e
1 file changed
+1
-1
lines changed- Makefile+16-1
- bihu/collectToken-spec.ini+6-3
- bihu/forwardToHotWallet-spec.ini+7-5
- bihu/spec-tmpl.k+2-2
- erc20/ds-token/ds-token-erc20-spec.ini+33-15
- erc20/hkg/hkg-erc20-spec.ini+31-15
- erc20/hobby/hobby-erc20-spec.ini+33-17
- erc20/spec-tmpl.k+5-5
- erc20/vyper/vyper-erc20-spec.ini+30-14
- erc20/zeppelin/zeppelin-erc20-spec.ini+53-16
0 commit comments