Lib.rs

Cargo Features

[dependencies]
bolero-kani = { version = "0.12.0", default-features = false, features = ["bin", "lib"] }

default = lib

The lib feature is set by default whenever bolero-kani is added without default-features = false somewhere in the dependency tree.

bin

lib default = bolero-engine

Affects bolero-kani::lib…

Features from optional dependencies

In crates that don't use the dep: syntax, optional dependencies automatically become Cargo features. These features may have been created by mistake, and this functionality may be removed in the future.

bolero-engine lib