Docs.rs
hermit-verify-0.4.0
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
hermit-verify 0.4.0
Run-to-run verification harness for the Hermit deterministic execution engine.
Crate
Source
Builds
Feature flags
Size
Source code size: 146.2 kB
This is the summed size of all the files inside the crates.io package for this release.
Ø build duration
all releases: 6s
Average build duration of
successful
builds in releases after 2024-10-23.
Links
facebookexperimental/hermit
1411
51
18
crates.io
Dependencies
anyhow ^1.0.103
normal
clap ^4.6.2
normal
colored ^2.1.0
normal
hermit-detcore ^0.4.0
normal
detcore-model ^0.4.0
normal
fbinit ^0.2.0
normal
rand ^0.10.2
normal
serde_json ^1.0.140
normal
similar ^2.2.0
normal
tempfile ^3.27.0
normal
tracing ^0.1.41
normal
pretty_assertions ^1.4.1
dev
Versions
0.4.0
(2026-10-04)
0.0.1
(2026-07-31)
Owners
hermit-verify-0.4.0 is not a library.
Visit the last successful build:
hermit-verify-0.0.1