Cargo Features
Decy has no features set by default.
[dependencies]
decy = { version = "2.2.0", features = ["oracle", "citl"] }- oracle citl? = decy-oracle
-
Basic oracle features (golden trace, verification) - no external deps
- citl = oracle
-
Full CITL with entrenar integration
Enables citl of decy-oracle
Affects
oracle_integration::parse_rustc_errors,oracle_integration::create_context_for_error,oracle_integration::transpile_with_oracle…
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.