Kani is an open source project open to external contributions.
In this chapter, we provide documentation that might be helpful for Kani developers (including external contributors):
- Suggested workarounds.
- Useful command-line instructions for Kani/CBMC/Git.
- Development setup recommendations for working with
- Guide for testing in Kani.
NOTE: The developer documentation is intended for Kani developers and not users. At present, the project is under heavy development and some items discussed in this documentation may stop working without notice (e.g., commands or configurations). Therefore, we recommend users to not rely on them.