Lib.rs

Cargo Features

[dependencies]
autokani = { version = "0.0.2", default-features = false, features = ["debug_log"] }

default = debug_log

The debug_log feature is set by default whenever autokani is added without default-features = false somewhere in the dependency tree.

debug_log default

AUTO-KANI has 2 features without comments.