]> git.lizzy.rs Git - rust.git/commit
Auto merge of #51246 - vakaras:select_polonius_algo_via_env_var, r=nikomatsakis
authorbors <bors@rust-lang.org>
Tue, 5 Jun 2018 12:49:40 +0000 (12:49 +0000)
committerbors <bors@rust-lang.org>
Tue, 5 Jun 2018 12:49:40 +0000 (12:49 +0000)
commit90f34b5f83d8fb0dd39de7a6d7cfac4d10cb2218
tree5be507812ae2a6e645fd0a8064327c3a388fd258
parent4122885e0f99b3f28e65c122cde48de5bfc8231a
parent265b04df9a5c75ed021c35abfbda3439e9858018
Auto merge of #51246 - vakaras:select_polonius_algo_via_env_var, r=nikomatsakis

Select Polonius algorithm via `POLONIUS_ALGORITHM` environment variable

This pull request allows selecting the Polonius algorithm being used by providing an environment variable `POLONIUS_ALGORITHM`.

Example usage:
```
POLONIUS_ALGORITHM=compare RUST_LOG=rustc_mir::borrow_check::nll=trace  ./x.py test --stage 1 --compare-mode polonius -- src/test/ui/nll/issue-47680.rs
...
stderr:
------------------------------------------
 INFO 2018-05-31T17:35:31Z: rustc_mir::borrow_check::nll: Using Polonius algorithm: Compare
 INFO 2018-05-31T17:35:31Z: rustc_mir::borrow_check::nll: Using Polonius algorithm: Compare

------------------------------------------
...
```

r? @nikomatsakis