Customization#
Now that you’re familiar with subclassing Kani
in order to implement function calling, we can take a look at
the other parts you can customize.
kani is built on the philosophy that every part should be hackable. To accomplish this, kani has a set of overridable methods you can override in a subclass. This page documents what these methods do by default, and why you might want to override them.