An experimental BDD library written in Rust.
This crate contains the obddimal library as well as an executable program of
the same name.
When running the executable, set the RUST_LOG variable to the desired logging
verbosity:
RUST_LOG=info cargo run --releaseBenchmarking is done using the criterion.rs library.
To run the benchmarks, run cargo bench.
See the criterion.rs user guide
for advanced options.
To pass options to the criterion benchmark specifically, use the following syntax (as recommended in the criterion faq):
cargo bench --bench obddimal_benches -- [benchmark name, or other options]The flamegraph crate simplifies
creation of flamegraphs.
This requires the flamegraph tool as well as perf to be installed on the
system.
To create a flamegraph for a benchmark, run:
cargo flamegraph --bench obddimal_benches -- --bench --profile-time 30The first --bench <name> argument selects the benchmark, the second --bench
is needed to switch criterion from test into benchmark mode.
The --profile-time argument runs the benchmark for a set amount of time and
disables plotting and analysis.