//! Name reservation placeholder for `hermit-verify`.
//!//! This crate reserves the `hermit-verify` name for the Hermit/Reverie deterministic
//! execution project (<https://github.com/rrnewton/hermit>). Real functionality will be published here.
#![doc(html_root_url ="https://docs.rs/hermit-verify")]