Crate tendermint_testgen

tendermint-testgen is a small utility for producing Tendermint data structures from minimal input (for testing purposes only).

See the repository for details.

Re-exports

• 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;
• pub use command::Command;
• pub use tester::TestEnv;
• pub use tester::Tester;

Modules

• apalache
  Helpers for organizing and running the tests
• command
• commit
  Helper types for generating Tendermint datastructures
• consensus
• generator
• header
• helpers
  Helper functions
• jsonatr
• light_block
• light_chain
• tester
• time
• validator
• validator_set
• vote

Macros

• set_option
  A macro that generates a complete setter method from a one-liner with necessary information