HomePhabricator

[analyzer] Switch the default exploration strategy to priority queue based on…

Description

[analyzer] Switch the default exploration strategy to priority queue based on coverage

After the investigation it seems safe to flip the switch.

Differential Revision: https://reviews.llvm.org/D43782