Skip to content

Commit 950787e

Browse files
committed
chore: fix deps
1 parent 7189759 commit 950787e

6 files changed

Lines changed: 14 additions & 15 deletions

File tree

crates/movy-fuzz/src/executor.rs

Lines changed: 8 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,6 @@ use libafl::{
77
state::{HasExecutions, HasRand},
88
};
99
use libafl_bolts::tuples::{Handle, MatchNameRef, RefIndexable};
10-
use log::trace;
1110
use movy_replay::{
1211
db::{ObjectStoreInfo, ObjectStoreMintObject},
1312
event::{ModuleProvider, NotifierTracer},
@@ -27,6 +26,7 @@ use sui_types::{
2726
execution_status::ExecutionStatus,
2827
storage::{BackingStore, ObjectStore},
2928
};
29+
use log::trace;
3030

3131
use crate::{
3232
input::MoveInput,
@@ -139,7 +139,12 @@ impl<T, OT, RT, I, S> HasObservers for SuiFuzzExecutor<T, OT, RT, I, S> {
139139

140140
impl<EM, Z, T, OT, RT, I, S, E> Executor<EM, I, S, Z> for SuiFuzzExecutor<T, OT, RT, I, S>
141141
where
142-
T: ObjectStore + BackingStore + ObjectSuiStoreCommit + ObjectStoreMintObject + ObjectStoreInfo,
142+
T: ObjectStore
143+
+ BackingStore
144+
+ ObjectSuiStoreCommit
145+
+ ObjectStoreMintObject
146+
+ ObjectStoreInfo
147+
+ Clone,
143148
E: ObjectStore,
144149
OT: ObserversTuple<I, S>,
145150
RT: for<'a> SuiGeneralOracle<CachedStore<&'a T>, S>,
@@ -212,7 +217,7 @@ where
212217
ExecutionStatus::Failure { command, .. } => (
213218
// command index may be out of bound when meeting non-aborted error
214219
if command.is_some_and(|c| c < input.sequence().commands.len()) {
215-
command.clone()
220+
*command
216221
} else {
217222
None
218223
},

crates/movy-fuzz/src/oracles/sui/proceeds.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@ use std::{
33
ops::Neg,
44
};
55

6+
use move_trace_format::format::TraceEvent;
67
use log::debug;
7-
use move_trace_format::{format::TraceEvent};
88

99
use movy_replay::tracer::{concolic::ConcolicState, oracle::SuiGeneralOracle, trace::TraceState};
1010
use movy_types::{

crates/movy-fuzz/src/oracles/sui/typed_bug.rs

Lines changed: 2 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
1+
use move_trace_format::format::TraceEvent;
12
use log::{debug, trace};
2-
use move_trace_format::{format::TraceEvent};
33

44
use movy_replay::tracer::{concolic::ConcolicState, oracle::SuiGeneralOracle, trace::TraceState};
55
use movy_types::{error::MovyError, input::MoveSequence, oracle::OracleFinding};
@@ -17,17 +17,11 @@ use crate::{
1717

1818
const TYPED_BUG_ABORT_CODE: u64 = 19260817;
1919

20-
#[derive(Debug, Clone)]
20+
#[derive(Debug, Clone, Default)]
2121
pub struct TypedBugOracle {
2222
pub use_abort: bool,
2323
}
2424

25-
impl Default for TypedBugOracle {
26-
fn default() -> Self {
27-
Self { use_abort: false }
28-
}
29-
}
30-
3125
impl TypedBugOracle {
3226
pub fn new(use_abort: bool) -> Self {
3327
Self { use_abort }

crates/movy-replay/src/tracer/concolic.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,13 +2,13 @@ use std::{cmp::Ordering, collections::BTreeMap, str::FromStr};
22

33
use crate::event::InstructionExtraInformation;
44
use crate::tracer::trace::TraceState;
5-
use log::{trace, warn};
65
use move_binary_format::file_format::Bytecode;
76
use move_core_types::{language_storage::TypeTag, u256::U256};
87
use move_trace_format::{
98
format::{Effect, TraceEvent, TraceValue, TypeTagWithRefs},
109
value::SerializableMoveValue,
1110
};
11+
use log::{trace, warn};
1212
use z3::ast::{Ast, Bool, Int};
1313

1414
#[derive(Clone, Debug, PartialEq, Eq)]

crates/movy-replay/src/tracer/oracle.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -112,7 +112,7 @@ where
112112
.0
113113
.done_execution(db, state, effects)?
114114
.into_iter()
115-
.chain(self.1.done_execution(db, state, effects)?.into_iter())
115+
.chain(self.1.done_execution(db, state, effects)?)
116116
.collect())
117117
}
118118
}

crates/movy-replay/src/tracer/tree.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11
use std::fmt::Display;
22

33
use itertools::Itertools;
4-
use log::warn;
54
use move_trace_format::{
65
format::{Frame, TraceEvent, TraceValue},
76
interface::Tracer,
87
};
8+
use log::warn;
99

1010
#[derive(Debug, Clone)]
1111
pub struct FrameTraced {

0 commit comments

Comments
 (0)