detcore-model 0.4.1

Core data model and types for Detcore, the Hermit deterministic execution engine.

Coverage
76.61%
439 out of 573 items documented0 out of 188 items with examples
Size
Source code size: 340.7 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 9.0 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 13s Average build duration of successful builds.
all releases: 12s Average build duration of successful builds in releases after 2024-10-23.
Links
Homepage
facebookexperimental/hermit
1412 51 18
crates.io
Dependencies
Versions
Owners

detcore-model

Shared process, thread, descriptor, clock and schedule types for the Hermit determinism engine.

This crate is part of Hermit, an execution engine for reproducible Linux testing. For installation and run/record/replay examples, see the hermit-run README.

Supported execution targets are x86_64 Linux. The CLI selects the ptrace and KVM execution backends; libraries in this package do not select third-party execution backends. See the CLI README for native build prerequisites, namespace policy, kernel qualification and performance-counter requirements.

License

BSD-3-Clause. See LICENSE.