pirapira / eth-isabelle

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

VM Test in Travis #161

Open pirapira opened 7 years ago

pirapira commented 7 years ago

It takes too much time for Travis, but we can limit the number of test cases. ./runVmTest.native str would run the test cases whose names contain str.