We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent cd17ffe commit 826392eCopy full SHA for 826392e
2 files changed
crates/movy-fuzz/src/input.rs
@@ -145,7 +145,7 @@ impl MoveInput for MoveFuzzInput {
145
.entry(func.to_string())
146
.or_default();
147
for cmp in cmps.iter() {
148
- let tracing::CmpLog(cmp) = cmp else {
+ let Log::CmpLog(cmp) = cmp else {
149
continue;
150
};
151
if matches!(cmp.op, CmpOp::EQ | CmpOp::GE | CmpOp::LE) {
crates/movy-fuzz/src/mutators/arg.rs
@@ -141,7 +141,7 @@ where
141
let mut cmp_constraints = target_function_logs
142
.iter()
143
.filter_map(|log| match log {
144
- tracing::CmpLog(cmp) => cmp.constraint.clone(),
+ Log::CmpLog(cmp) => cmp.constraint.clone(),
_ => None,
})
.collect::<Vec<_>>();
0 commit comments