Home
last modified time | relevance | path

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

/external/v8/tools/sanitizers/
Dsancov_merger.py119 def merge_parallel(inputs, merge_fun=merge): argument
123 return pool.map(merge_fun, inputs)