logos-co
/
nomos-node
mirror of
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fuzztests update with carnot-engine

This commit is contained in:
Gusto 2024-01-04 14:42:54 +02:00
parent 8cc0cb5efb
commit c3e793c7b4
3 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
consensus/carnot-engine/tests/fuzz/ref_state.rs
View File

@ -1,6 +1,6 @@
use std::collections::{BTreeMap, HashSet};
use consensus_engine::{
use carnot_engine::{
AggregateQc, Block, BlockId, LeaderProof, NodeId, Qc, StandardQc, TimeoutQc, View,
};
use proptest::prelude::*;

4
consensus/carnot-engine/tests/fuzz/sut.rs
View File

@ -1,7 +1,7 @@
use std::{collections::HashSet, panic};
use consensus_engine::overlay::FreezeMembership;
use consensus_engine::{
use carnot_engine::overlay::FreezeMembership;
use carnot_engine::{
overlay::{FlatOverlay, FlatOverlaySettings, RoundRobin},
*,
};

2
consensus/carnot-engine/tests/fuzz/transition.rs
View File

@ -1,6 +1,6 @@
use std::collections::HashSet;
use consensus_engine::{Block, NewView, TimeoutQc};
use carnot_engine::{Block, NewView, TimeoutQc};
// State transtitions that will be picked randomly
#[derive(Clone, Debug)]