pirapira/eth-isabelle

Execute VM tests that involve multiple contracts

pirapira opened this issue · 0 comments

Of the VM tests, currently 24 are skipped because they involve multiple contracts. This issue keeps track of fixing this.

Since the EVM definitions are targeted for verifying a single invocation of a contract, we need some glue code that put together the execution of the caller and the callee.