Change the default to threading (#1779)

Co-authored-by: Eric Hennenfent <eric.hennenfent@trailofbits.com>
trailofbits · Aug 5, 2020 · 2347b21 · 2347b21
1 parent 547a59c
commit 2347b21
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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