tendermint_testgen/
lib.rs

1//! `tendermint-testgen` is a small utility for producing Tendermint data
2//! structures from minimal input (for testing purposes only).
3//!
4//! See the [repository] for details.
5//!
6//! [repository]: https://github.com/informalsystems/tendermint-rs/tree/main/testgen
7
8#[macro_use]
9pub mod helpers;
10
11/// Helper types for generating Tendermint datastructures
12pub mod commit;
13pub mod consensus;
14pub mod generator;
15pub mod header;
16pub mod light_block;
17pub mod light_chain;
18pub mod time;
19pub mod validator;
20pub mod validator_set;
21pub mod vote;
22
23pub use commit::Commit;
24pub use generator::Generator;
25pub use header::Header;
26pub use light_block::LightBlock;
27pub use light_chain::LightChain;
28pub use validator::Validator;
29pub use validator_set::ValidatorSet;
30pub use vote::Vote;
31
32pub use crate::time::Time;
33
34/// Helpers for organizing and running the tests
35pub mod apalache;
36pub mod command;
37pub mod jsonatr;
38pub mod tester;
39
40pub use command::Command;
41pub use tester::{TestEnv, Tester};