pirapira/eth-isabelle

"invalid digit" failure during vmtest

pirapira opened this issue · 2 comments

./runVmTests.native d eventually shows:

exception Failure("invalid digit")

Trying to reproduce this.

I cannot reproduce this anymore.