Select Polonius algorithm via `POLONIUS_ALGORITHM` environment variable#51246

Merged

bors merged 2 commits intorust-lang:masterfrom vakaras:select_polonius_algo_via_env_var

Jun 5, 2018

+14-7

Commits on Jun 2, 2018

Allow choosing Polonius algorithm via environment variable POLONIUS_ALGORITHM.
vakaras
committed
Change the log level of the message reporting the selected Polonius algorithm to debug.
vakaras
committed