This library implements the core of the isla-axiomatic tool, providing utilities for running litmus tests using isla-lib and interpreting the results.
- Coverage
- 19.01%
54 out of 284 items documented0 out of 162 items with examples - Size
- Source code size: 213.75 kB This is the summed size of all the files inside the crates.io package for this release.
- Documentation size: 4.39 MB This is the summed size of all files generated by rustdoc for all configured targets
- Ø build duration
- this release: 54s Average build duration of successful builds.
- all releases: 54s Average build duration of successful builds in releases after 2024-10-23.
- Links
- Homepage
-
rems-project/isla
92 22 14 - crates.io
- Dependencies
- Versions
- Owners
-