nomos-node/consensus/carnot-engine/tests/fuzz_test.rs

23 lines
584 B
Rust

mod fuzz;
use std::panic;
use proptest::prelude::*;
use proptest::test_runner::Config;
use proptest_state_machine::{prop_state_machine, ReferenceStateMachine, StateMachineTest};
use fuzz::sut::ConsensusEngineTest;
prop_state_machine! {
#![proptest_config(Config {
// Only run 10 cases by default to avoid running out of system resources
// and taking too long to finish.
cases: 10,
.. Config::default()
})]
#[test]
// run 100 state transitions per test case
fn consensus_engine_test(sequential 1..30 => ConsensusEngineTest);
}