Fixes after review

walnuthq · Dec 5, 2024 · aa6f44c · aa6f44c
1 parent 8501739
commit aa6f44c
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/bin/sozo/src/commands/execute.rs b/bin/sozo/src/commands/execute.rs
@@ -134,6 +134,7 @@ impl ExecuteArgs {
             let invoker = Invoker::new(&account, txn_config);
             let tx_result = invoker.invoke(call).await?;
 
+            #[cfg(feature = "walnut")]
             if let Some(walnut_debugger) = walnut_debugger {
                 walnut_debugger.debug_transaction(&config.ui(), &tx_result)?;
             }

diff --git a/bin/sozo/src/commands/mod.rs b/bin/sozo/src/commands/mod.rs
@@ -65,8 +65,8 @@ pub enum Commands {
     Model(Box<ModelArgs>),
     #[command(about = "Inspect events emitted by the world")]
     Events(Box<EventsArgs>),
-    #[command(about = "Verify a contract")]
-    Verify(Box<VerifyArgs>),
+    #[command(about = "Verify contracts in walnut.dev - transactions debugger and simulator")]
+    WalnutVerify(Box<VerifyArgs>),
 }
 
 impl fmt::Display for Commands {
@@ -85,7 +85,7 @@ impl fmt::Display for Commands {
             Commands::Init(_) => write!(f, "Init"),
             Commands::Model(_) => write!(f, "Model"),
             Commands::Events(_) => write!(f, "Events"),
-            Commands::Verify(_) => write!(f, "Verify"),
+            Commands::WalnutVerify(_) => write!(f, "WalnutVerify"),
         }
     }
 }
@@ -112,7 +112,7 @@ pub fn run(command: Commands, config: &Config) -> Result<()> {
         Commands::Init(args) => args.run(config),
         Commands::Model(args) => args.run(config),
         Commands::Events(args) => args.run(config),
-        Commands::Verify(args) => args.run(config),
+        Commands::WalnutVerify(args) => args.run(config),
     }
 }