From c3e793c7b4e47e5b08ac9232933431820071b4e2 Mon Sep 17 00:00:00 2001 From: Gusto Date: Thu, 4 Jan 2024 14:42:54 +0200 Subject: [PATCH] Fuzztests update with carnot-engine --- consensus/carnot-engine/tests/fuzz/ref_state.rs | 2 +- consensus/carnot-engine/tests/fuzz/sut.rs | 4 ++-- consensus/carnot-engine/tests/fuzz/transition.rs | 2 +- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/consensus/carnot-engine/tests/fuzz/ref_state.rs b/consensus/carnot-engine/tests/fuzz/ref_state.rs index b79ad6c7..71b148f7 100644 --- a/consensus/carnot-engine/tests/fuzz/ref_state.rs +++ b/consensus/carnot-engine/tests/fuzz/ref_state.rs @@ -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::*; diff --git a/consensus/carnot-engine/tests/fuzz/sut.rs b/consensus/carnot-engine/tests/fuzz/sut.rs index cd5d0199..0cb2a435 100644 --- a/consensus/carnot-engine/tests/fuzz/sut.rs +++ b/consensus/carnot-engine/tests/fuzz/sut.rs @@ -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}, *, }; diff --git a/consensus/carnot-engine/tests/fuzz/transition.rs b/consensus/carnot-engine/tests/fuzz/transition.rs index 2f202801..4ea721dd 100644 --- a/consensus/carnot-engine/tests/fuzz/transition.rs +++ b/consensus/carnot-engine/tests/fuzz/transition.rs @@ -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)]