List of all items

Structs

• block_builder::BlockEntry
• block_builder::random::RandomBuilderImplementation
• block_builder::random::RandomBuilderSource
• block_builder::random::RandomBuilderTask
• block_builder::simple::SimpleBuilderImplementation
• block_builder::simple::SimpleBuilderSource
• block_builder::simple::SimpleBuilderTask
• block_builder::simple::SubmittedTransaction
• byzantine::byzantine_behaviour::BadProposalViewDos
• byzantine::byzantine_behaviour::DishonestDa
• byzantine::byzantine_behaviour::DishonestLeader
• byzantine::byzantine_behaviour::DishonestVoter
• byzantine::byzantine_behaviour::DishonestVoting
• byzantine::byzantine_behaviour::DoubleProposeVote
• byzantine::byzantine_behaviour::ViewDelay
• completion_task::CompletionTask
• completion_task::TimeBasedCompletionTaskDescription
• consistency_task::ConsistencyTask
• overall_safety_task::OverallSafetyPropertiesDescription
• overall_safety_task::OverallSafetyTask
• overall_safety_task::RoundCtx
• overall_safety_task::RoundResult
• predicates::event::EventPredicate
• predicates::event::TestPredicate
• predicates::upgrade_with_proposal::UpgradeCertPredicate
• predicates::upgrade_with_vote::UpgradeCertPredicate
• script::Expectations
• script::TaskScript
• spinning_task::ChangeNode
• spinning_task::RestartContext
• spinning_task::SpinningTask
• spinning_task::SpinningTaskDescription
• test_builder::BuilderDescription
• test_builder::FakeSolverApiDescription
• test_builder::TestDescription
• test_builder::TimingData
• test_launcher::ResourceGenerators
• test_launcher::TestLauncher
• test_runner::LateNodeContextParameters
• test_runner::LateStartNode
• test_runner::Node
• test_runner::TestRunner
• test_task::TestTask
• txn_task::TxnTask
• view_generator::TestView
• view_generator::TestViewGenerator
• view_sync_task::ViewSyncTask

Enums

• completion_task::CompletionTaskDescription
• overall_safety_task::OverallSafetyTaskErr
• overall_safety_task::ViewStatus
• predicates::PredicateResult
• script::InputOrder
• spinning_task::NodeAction
• test_builder::Behaviour
• test_builder::BuilderChange
• test_runner::LateNodeContext
• test_task::TestEvent
• test_task::TestResult
• txn_task::TxnTaskDescription
• view_sync_task::ShouldHitViewSync
• view_sync_task::ViewSyncTaskDescription
• view_sync_task::ViewSyncTaskError

Traits

• block_builder::BuilderTask
• block_builder::TestBuilderImplementation
• predicates::Predicate
• test_runner::TaskErr
• test_task::TestTaskState
• test_task::TestTaskStateSeed

Macros

• all_predicates
• random
• serial

Functions

• block_builder::build_block
• block_builder::run_builder_source
• block_builder::run_builder_source_0_1
• consistency_task::invert_network_map
• consistency_task::sanitize_network_map
• consistency_task::sanitize_node_map
• consistency_task::sanitize_view_map
• consistency_task::validate_node_map
• helpers::build_assembled_sig
• helpers::build_cert
• helpers::build_da_certificate
• helpers::build_fake_view_with_leaf
• helpers::build_fake_view_with_leaf_and_state
• helpers::build_payload_commitment
• helpers::build_system_handle
• helpers::build_system_handle_from_launcher
• helpers::build_vid_proposal
• helpers::build_vote
• helpers::da_payload_commitment
• helpers::key_pair_for_id
• helpers::permute_input_with_index_order
• helpers::vid_payload_commitment
• helpers::vid_scheme_from_view_number
• helpers::vid_share
• predicates::event::all
• predicates::event::all_predicates
• predicates::event::da_certificate_validated
• predicates::event::exact
• predicates::event::quorum_proposal_preliminarily_validated
• predicates::event::quorum_proposal_send
• predicates::event::quorum_proposal_send_with_null_block
• predicates::event::quorum_proposal_send_with_upgrade_certificate
• predicates::event::quorum_proposal_validated
• predicates::event::quorum_vote_send
• predicates::event::timeout_vote_send
• predicates::event::upgrade_certificate_formed
• predicates::event::vid_share_validated
• predicates::event::view_change
• predicates::event::view_sync_precommit_vote_send
• predicates::event::view_sync_timeout
• predicates::upgrade_with_proposal::decided_upgrade_certificate
• predicates::upgrade_with_proposal::no_decided_upgrade_certificate
• predicates::upgrade_with_vote::decided_upgrade_certificate
• predicates::upgrade_with_vote::no_decided_upgrade_certificate
• script::panic_extra_output_in_script
• script::panic_missing_output_in_script
• script::validate_output_or_panic_in_script
• script::validate_task_state_or_panic_in_script
• test_builder::create_test_handle
• test_builder::nonempty_block_limit
• test_builder::nonempty_block_threshold
• test_task::add_network_message_test_task

Type Aliases

• consistency_task::NetworkMap
• consistency_task::NetworkMapSanitized
• consistency_task::NodeMap
• consistency_task::NodeMapSanitized
• consistency_task::ViewMap
• consistency_task::ViewMapSanitized
• overall_safety_task::StateAndBlock
• predicates::event::EventCallback
• predicates::upgrade_with_proposal::QuorumProposalTaskTestState
• predicates::upgrade_with_proposal::UpgradeCertCallback
• predicates::upgrade_with_vote::QuorumVoteTaskTestState
• predicates::upgrade_with_vote::UpgradeCertCallback
• spinning_task::StateAndBlock
• test_builder::TransactionValidator
• test_launcher::Generator
• test_launcher::Network
• test_task::AnyTestTaskState