trailofbits/manticore

View on GitHub

Make is_human a property
#1323

disconnect3d wants to merge fix-is-human into master

We do not currently have an analysis of these two commits