Lib.rs

Cargo Features

[dependencies]
yices2 = { version = "0.1.4", default-features = false, features = ["ctor", "prelude"] }

default = ctor, prelude

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

ctor default

By default, yices_init will be called at the beginning of the program and yices_exit will be called at the end.
If you want to call yices_init and yices_exit yourself, you can disable the default feature and call Yices::new() yourself in your program (Yices::drop() calls yices_exit).

Enables ctor

Affects yices2::init…

prelude default

Affects yices2::prelude…