Fix measurement of verification time

viperproject · Feb 27, 2023 · 4fc9a41 · 4fc9a41
1 parent bb4a541
commit 4fc9a41
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/prusti-server/src/backend.rs b/prusti-server/src/backend.rs
@@ -32,6 +32,7 @@ impl<'a> Backend<'a> {
                         );
                     }
 
+                    stopwatch.start_next("viper verification");
                     viper.verify(viper_program)
                 })
             }