fix

Author: wtdcode

crates/movy-fuzz/src/executor.rs

@@ -176,7 +176,7 @@ where
             success,
         };
 
-        if tracing::log_enabled!(tracing::Level::Debug) {
+        if tracing::enabled!(tracing::Level::DEBUG) {
             for ev in events.iter() {
                 if let Some((st, ev)) = state.fuzz_state().decode_sui_event(ev)? {
                     tracing::debug!(

crates/movy-fuzz/src/mutators/arg.rs

@@ -155,8 +155,8 @@ where
     let constraints = cmp_constraints
         .into_iter()
         .chain(target_function_logs.iter().filter_map(|log| match log {
-            tracing::CastLog(c) => c.constraint.clone(),
-            tracing::ShlLog(s) => s.constraint.clone(),
+            Log::CastLog(c) => c.constraint.clone(),
+            Log::ShlLog(s) => s.constraint.clone(),
             _ => None,
         }))
         .collect::<Vec<_>>();

crates/movy-sui-stds/movy/sources/cheats.move

@@ -10,7 +10,7 @@ public fun dummy_tx_hash_with_hint(hint: u64): vector<u8> {
     tx_hash
 }
 
-public fun new_from_hint(
+public fun new_tx_ctx_from_hint(
     addr: address,
     hint: u64,
     epoch: u64,

crates/movy/src/main.rs

@@ -1,6 +1,7 @@
 use clap::{Parser, Subcommand};
 
 use crate::{analysis::AnlaysisArgs, sui::SuiArgs};
+use std::io::IsTerminal;
 
 mod analysis;
 mod aptos;

test-data/counter/tests/movy.move

@@ -14,7 +14,7 @@ public fun movy_init(
     deployer: address,
     attacker: address
 ) {
-    let ctx = cheats::new_from_hint(deployer, 1, 1, 1, 1);
+    let ctx = cheats::new_tx_ctx_from_hint(deployer, 1, 1, 1, 1);
 }
 
 // Helper