Advanced Usage

In this section, we’ll look at some of the advanced use cases you can use kani for. Each of these use cases has an example in the GitHub repo.