Skip to content

Commit cc7811b

Browse files
arczfeliam
authored andcommitted
Fix documentation typo in ManticoreBase (#1492)
1 parent d578e63 commit cc7811b

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

manticore/core/manticore.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -223,7 +223,7 @@ def __init__(self, initial_state, workspace_url=None, policy="random", **kwargs)
223223
*State list: TERMINATED*
224224
225225
TERMINATED contains states that have reached a final condition and raised
226-
TerminateState. Workers mainloop simpliy move the states that requested
226+
TerminateState. Worker's mainloop simply moves the states that requested
227227
termination to the TERMINATED list. This is a final list.
228228
229229
```An inherited Manticore class like ManticoreEVM could internally revive

0 commit comments

Comments
 (0)