search

trailofbits / manticore

Symbolic execution tool
https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
GNU Affero General Public License v3.0
3.66k stars 470 forks source link

docs: grammar #2586

Closed xternet closed 1 year ago

CLAassistant commented 1 year ago

CLA assistant check
All committers have signed the CLA.

ekilmer commented 1 year ago

@xternet This PR looks good! Thank you for the edits. Could you please sign the CLA?