Experimental Features

We elaborate on some of the more commonly used experimental features in Kani. This is not an exhaustive list; to see all of Kani’s experimental features, run cargo kani --help. To use an experimental feature, invoke Kani with the --unstable or -Z flag followed by the name of the feature.