From 2347b21060b897767f86cd7152bff42715e0adba Mon Sep 17 00:00:00 2001 From: feliam Date: Tue, 4 Aug 2020 22:52:16 -0300 Subject: [PATCH] Change the default to threading (#1779) Co-authored-by: Eric Hennenfent --- 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 f924008ce..321071c16 100644 --- a/manticore/core/manticore.py +++ b/manticore/core/manticore.py @@ -62,7 +62,7 @@ def to_class(self): ) consts.add("procs", default=10, description="Number of parallel processes to spawn") -proc_type = MProcessingType.multiprocessing +proc_type = MProcessingType.threading if sys.platform != "linux": logger.warning("Manticore is only supported on Linux. Proceed at your own risk!") proc_type = MProcessingType.threading