1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41

//! `tendermint-testgen` is a small utility for producing Tendermint data
//! structures from minimal input (for testing purposes only).
//!
//! See the [repository] for details.
//!
//! [repository]: https://github.com/informalsystems/tendermint-rs/tree/main/testgen

#[macro_use]
pub mod helpers;

/// Helper types for generating Tendermint datastructures
pub mod commit;
pub mod consensus;
pub mod generator;
pub mod header;
pub mod light_block;
pub mod light_chain;
pub mod time;
pub mod validator;
pub mod validator_set;
pub mod vote;

pub use commit::Commit;
pub use generator::Generator;
pub use header::Header;
pub use light_block::LightBlock;
pub use light_chain::LightChain;
pub use validator::Validator;
pub use validator_set::ValidatorSet;
pub use vote::Vote;

pub use crate::time::Time;

/// Helpers for organizing and running the tests
pub mod apalache;
pub mod command;
pub mod jsonatr;
pub mod tester;

pub use command::Command;
pub use tester::{TestEnv, Tester};