Changes verification display

brweisz · May 28, 2024 · 46464af · 46464af
1 parent 9d423f6
commit 46464af
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/tooling/backend_interface/src/cli/verify.rs b/tooling/backend_interface/src/cli/verify.rs
@@ -25,7 +25,10 @@ impl VerifyCommand {
             .arg(self.vk_path);
 
         let output = command.output()?;
-        println!("{:?}", string_from_stderr(&output.stderr));
+        println!("{}", string_from_stderr(&output.stderr));
+        if output.status.success() {
+            println!("Verification successful");
+        }
 
         // We currently do not distinguish between an invalid proof and an error inside the backend.
         Ok(output.status.success())