Skip to content

Commit

Permalink
Document how to generate input facts for a crate
Browse files Browse the repository at this point in the history
  • Loading branch information
lqd committed Jun 17, 2018
1 parent ac10e09 commit 2d7111b
Showing 1 changed file with 5 additions and 1 deletion.
6 changes: 5 additions & 1 deletion README.md
Expand Up @@ -63,7 +63,11 @@ input facts. For that, you will need to run rustc with the
> rustc -Znll-facts inputs/issue-47680/issue-47680.rs
```

[PR #50370]: https://github.com/rust-lang/rust/pull/50370
Or, for generating the input facts of a crate using the `#![feature(nll)]` flag:

```
> cargo rustc -- -Znll-facts
```

This will generate a `nll-facts` directory with one subdirectory per function:

Expand Down

0 comments on commit 2d7111b

Please sign in to comment.