Docs.rs
batty-cli-0.11.3
batty-cli 0.11.3
Docs.rs crate page
MIT
Links
Homepage
Repository
crates.io
Source
Owners
Zedmor
Dependencies
anyhow ^1
normal
chrono ^0.4
normal
clap ^4
normal
clap_complete ^4
normal
cron ^0.15
normal
ctrlc ^3
normal
dialoguer ^0.11
normal
maildir ^0.6
normal
portable-pty ^0.8
normal
regex ^1
normal
rusqlite ^0.39
normal
serde ^1
normal
serde_json ^1
normal
serde_yaml ^0.9
normal
sha2 ^0.10
normal
thiserror ^2
normal
toml ^1
normal
ureq ^2
normal
uuid ^1
normal
vt100 ^0.15
normal
filetime ^0.2
dev
proptest ^1
dev
proptest-state-machine ^0.8
dev
serial_test ^3
dev
tempfile ^3
dev
libc ^0.2
normal
tracing ^0.1
normal
tracing-subscriber ^0.3
normal
Versions
25.52%
of the crate is documented
Platform
x86_64-unknown-linux-gnu
Feature flags
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
Skip to main content
Module verification
batty_
cli
0.11.3
Module verification
Module Items
Structs
Enums
Functions
In batty_
cli::
team
batty_cli
::
team
Module
verification
Copy item path
Source
Expand description
Clean-room equivalence verification driven by
PARITY.md
.
Structs
§
Verification
Evidence
Verification
Outcome
Verification
State
Enums
§
Evidence
Kind
Verification
Phase
Verify
Status
Functions
§
cmd_
verify
verify_
project