README.md

Build:

cargo build

Run tests:

cargo test

Run on a sample file:

cargo run -- tests/verify/pass/simple.rs

If the run was successful, the graphviz file nll-facts/foo/graph.dot should contain a MIR representation of the function foo.