Very quick fix to avoid STOP instructions to return random values (#792)
Very quick fix to avoid STOP instructions to return random values (#792)


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