fix: log error message on verification failure

Marsman1996 · Marsman1996 · commit 5507d67ff568 · 2026-02-02T14:41:48.000+08:00
diff --git a/src/verus.rs b/src/verus.rs
@@ -1236,6 +1236,8 @@ pub fn exec_verify(
             if options.log {
                 move_verus_log_files(&target.name);
             }
+        } else {
+            error!("Verification failed for target {}", target.name);
         }
 
         if options.count_line {

Original file line number	Diff line number	Diff line change
`@@ -1236,6 +1236,8 @@ pub fn exec_verify(`
`1236`	`1236`	`if options.log {`
`1237`	`1237`	`move_verus_log_files(&target.name);`
`1238`	`1238`	`}`
	`1239`	`+ } else {`
	`1240`	`+ error!("Verification failed for target {}", target.name);`
`1239`	`1241`	`}`
`1240`	`1242`
`1241`	`1243`	`if options.count_line {`