Home
last modified time | relevance | path

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

/external/v8/tools/sanitizers/
Dsancov_merger.py119 def merge_parallel(inputs, merge_fun=merge): function
142 results = merge_parallel(inputs)
157 merge_parallel(inputs)
200 merge_parallel(inputs, merge_two)