Skip to content

Commit

Permalink
Fix typo in Manticore.linux constructor docstring (#2535)
Browse files Browse the repository at this point in the history
  • Loading branch information
kokrui committed Feb 24, 2022
1 parent c3eabe0 commit 6c553a4
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion manticore/native/manticore.py
Original file line number Diff line number Diff line change
Expand Up @@ -120,7 +120,7 @@ def linux(
:param envp: Environment to provide to the binary
:type envp: dict[str, str]
:param entry_symbol: Entry symbol to resolve to start execution
:type envp: str
:type entry_symbol: str
:param symbolic_files: Filenames to mark as having symbolic input
:type symbolic_files: list[str]
:param str concrete_start: Concrete stdin to use before symbolic input
Expand Down

0 comments on commit 6c553a4

Please sign in to comment.