Kontrol cheatcodes complement Foundry's cheatcodes to enhance the expressivity of your symbolic specifications even further. With these cheatcodes, you can, for instance, make the storage of a given address symbolic, create new symbolic values, or expect that no further calls are made.
Check out our Kontrol documentation to start writing and executing symbolic tests for your project!
Join our Discord to ask any questions you may have.
You can install this repository either via forge or as a git submodule:
forge install runtimeverification/kontrol-cheatcodes
git submodule add https://github.com/runtimeverification/kontrol-cheatcodes