Lib.rs

› CVLR › Features

Cargo Features

CVLR has no features set by default.

[dependencies]
cvlr = { version = "0.4.0", features = ["vacuity", "rt"] }
default

These default features are set whenever cvlr is added without default-features = false somewhere in the dependency tree.

Enables std of cvlr-nondet

vacuity

Enables vacuity of cvlr-asserts

rt

Enables rt of cvlr-asserts, cvlr-log, cvlr-mathint, and cvlr-nondet

CVLR has 3 features without comments.