informalsystems_malachitebft_core_driver/
lib.rs

1//! Driver for the state machine of the Malachite consensus engine
2
3#![forbid(unsafe_code)]
4#![deny(trivial_casts, trivial_numeric_casts)]
5#![warn(
6    missing_docs,
7    rustdoc::broken_intra_doc_links,
8    rustdoc::private_intra_doc_links,
9    variant_size_differences
10)]
11// no_std compatibility
12#![cfg_attr(not(feature = "std"), no_std)]
13#![cfg_attr(not(test), deny(clippy::unwrap_used))]
14#![cfg_attr(coverage_nightly, feature(coverage_attribute))]
15
16extern crate alloc;
17
18mod driver;
19mod error;
20mod input;
21mod mux;
22mod output;
23mod proposal_keeper;
24
25pub use driver::Driver;
26pub use error::Error;
27pub use input::Input;
28pub use output::Output;
29
30pub use malachitebft_core_votekeeper::ThresholdParams;