6287e554ae
* Refactor: consensus-engine to carnot-engine. Move under consensus/carnot-engine * Fuzztests update with carnot-engine * Update missing refactor in tests --------- Co-authored-by: Gusto <bacvinka@gmail.com>
23 lines
584 B
Rust
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);
|
|
}
|