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.68k stars 472 forks source link

fix typo in Manticore.linux constructor docstring #2535

Closed kokrui closed 2 years ago

kokrui commented 2 years ago

noticed on the sphinx-generated docs that entry_symbol had no type specified and passing a string to envp didn't work, turns out there's a typo