From faf1c07564934f68c8ad4e78d3bd8df5700f6bc2 Mon Sep 17 00:00:00 2001 From: Artur Cygan Date: Sun, 21 Jul 2019 21:07:11 +0200 Subject: [PATCH] Fix documentation typo in ManticoreBase --- manticore/core/manticore.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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