Raises exception for contract with a function without code. Issue #789 (#797)
Raises exception for contract with a function without code. Issue #789 (#797)


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