search

pirapira / eth-isabelle

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

"invalid digit" failure during vmtest #431

Closed pirapira closed 7 years ago

pirapira commented 7 years ago

./runVmTests.native d eventually shows:

exception Failure("invalid digit")
pirapira commented 7 years ago

Trying to reproduce this.

pirapira commented 7 years ago

I cannot reproduce this anymore.