From 7c41e22d0955a125998245cecbb0a0ae772c6f15 Mon Sep 17 00:00:00 2001 From: ChrisTimperley Date: Mon, 9 Jul 2018 02:38:57 -0400 Subject: [PATCH] bug fix: self.num_threads -> self.__num_threads --- src/orchestrator/orchestrator.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/orchestrator/orchestrator.py b/src/orchestrator/orchestrator.py index 2f56638..5ab24f0 100644 --- a/src/orchestrator/orchestrator.py +++ b/src/orchestrator/orchestrator.py @@ -370,7 +370,7 @@ def _build_problem(self, perturbation: Mutation) -> Problem: compute_mutant_coverage(self.__client_bugzoo, self.__client_boggart, perturbation, - threads=self.num_threads) + threads=self.__num_threads) self.__localization = localize(perturbation, self.__coverage_for_mutant) self.__coverage_for_mutant = \