diff --git a/manticore/core/manticore.py b/manticore/core/manticore.py index b66a92d1d..b8d0066ee 100644 --- a/manticore/core/manticore.py +++ b/manticore/core/manticore.py @@ -223,7 +223,7 @@ def __init__(self, initial_state, workspace_url=None, policy="random", **kwargs) *State list: TERMINATED* TERMINATED contains states that have reached a final condition and raised - TerminateState. Workers mainloop simpliy move the states that requested + TerminateState. Worker's mainloop simply moves the states that requested termination to the TERMINATED list. This is a final list. ```An inherited Manticore class like ManticoreEVM could internally revive