# Book Runner

This tool extracts examples from different Rust books, runs Kani on them, and
displays the results in a report.

Run the following command to build this tool and generate the report:
```bash
./x.py run -i --stage 1 bookrunner
```