Lib.rs

Cargo Features

[dependencies]
cvlr-nondet = { version = "0.4.0", default-features = false, features = ["std", "rt"] }

default = std

The std feature is set by default whenever cvlr-nondet is added without default-features = false somewhere in the dependency tree.

std default

Affects cvlr-nondet::havoc…

rt