pirapira / eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs
Other
237 stars 42 forks source link

Different storage in CreateAndGasInsideCreate test #395

Closed pirapira closed 7 years ago

pirapira commented 7 years ago

CreateAndGasInsideCreate address f1ecf98489fa9ed60a664fc4998db699cfa39d40 has storage 526972 at 253, but it should be 518739!

pirapira commented 7 years ago

"currentNumber" : "2463000", so EIP 150 should alreaby be enabled.

Looks like the deployment code of the created transaction is seeing some different value of gas. 5a

pirapira commented 7 years ago

"currentNumber" : "2463000", so EIP 150 should alreaby be enabled.

Looks like the deployment code of the created transaction is seeing some different value of gas. 5a

pirapira commented 7 years ago

Looking at the numbers, "except 1/64" rule seems like missing.