pirapira/eth-isabelle

Fix SimpleWallet.thy

Closed this issue · 1 comments

pirapira commented

SimpleWallet.thy example is broken since some gas changes were applied on CALL instruction. This issue keeps track of fixing the example.

pirapira commented

I will try and close this if it's already fixed.