Add ERC20 Integration Test#89

bbyalcinkaya wants to merge 3 commits into

masterruntimeverification/skribe:masterfrom

test-erc20runtimeverification/skribe:test-erc20Copy head branch name to clipboard