Clarify log message

viperproject · Feb 27, 2023 · bb4a541 · bb4a541
1 parent 87a11c9
commit bb4a541
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prusti-server/src/process_verification.rs b/prusti-server/src/process_verification.rs
@@ -113,7 +113,7 @@ pub fn process_verification_request<'v, 't: 'v>(
         ),
     };
 
-    stopwatch.start_next("verification");
+    stopwatch.start_next("backend verification");
     let mut result = backend.verify(&request.program);
 
     // Don't cache Java exceptions, which might be due to misconfigured paths.