Home
last modified time | relevance | path

Searched refs:WorkerPool (Results 1 – 3 of 3) sorted by relevance

/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/classes/
H A D__init__.py9 from ._pool import WorkerPool
H A D_pool.py556 def WorkerPool(num_workers: int, verbose: int) -> Union[SerialPool, ParallelPool]: function
/petsc/lib/petsc/bin/maint/petsclinter/petsclinter/
H A Dmain.py213 warnings, errors_left, errors_fixed, patches = pl.WorkerPool(