Searched refs:max_selection_metric (Results 1 – 1 of 1) sorted by relevance
430 double max_selection_metric = 0.0; in SelectTraces() local451 if (coverage_size_ratio > max_selection_metric) { in SelectTraces()452 max_selection_metric = coverage_size_ratio; in SelectTraces()456 if (total_coverage_line > max_selection_metric) { in SelectTraces()457 max_selection_metric = total_coverage_line; in SelectTraces()462 if (!max_selection_metric) { in SelectTraces()