Execute blockchain test---partial progress with build changes

pirapira / eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

Other

237 stars 42 forks source link

Execute blockchain test---partial progress with build changes #472

Closed pirapira closed 6 years ago

pirapira commented 6 years ago

I was trying to run blockchain test, but I ended up changing the Travis/CircleCI scripts. Before the build scripts diverge, I want to get this merged now.