Added a function to generate evm testcases without using callbacks (#791)
Added a function to generate evm testcases without using callbacks (#791)

* Added a function to generate evm testcases without using callbacks

Possible fix for #782

* The 'message' parameter in generate_testcase should be optional

Requested by @montyly

trailofbits/manticore,montyly/manticore,trailofbits/manticore,trailofbits/manticore,montyly/manticore