diff options
Diffstat (limited to 'lib/parameters.py')
| -rw-r--r-- | lib/parameters.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/parameters.py b/lib/parameters.py index 27b1a4e..00ae4aa 100644 --- a/lib/parameters.py +++ b/lib/parameters.py @@ -408,9 +408,6 @@ class ParamStats: stats_queue = list() - # Note: This is deliberately single-threaded. The overhead incurred - # by multiprocessing is higher than the speed gained by parallel - # computation of statistics measures. for state_or_tran in by_name.keys(): self.stats[state_or_tran] = dict() self.distinct_values_by_param_index[state_or_tran] = distinct_param_values(by_name, state_or_tran) |