Lib.rs

Cargo Features

[dependencies]
miden-assembly = { version = "0.23.0", default-features = false, features = ["std", "logging", "arbitrary", "testing"] }

default = std

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

std default arbitrary?

Enables miden-package-registry, getrandom of tempfile, std of thiserror, std of miden-project and optional proptest and std of miden-assembly-syntax, miden-core, and miden-mast-package

miden-assembly-syntax:

Miden dependencies

logging testing?

Enables env_logger

External dependencies

arbitrary = std

Enables proptest

testing = logging

Enables testing of miden-assembly-syntax