Update prusti-server/src/backend.rs

Co-authored-by: Federico Poli <[email protected]>
viperproject · Feb 24, 2023 · d30ad20 · d30ad20
1 parent 59f6f00
commit d30ad20
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/prusti-server/src/backend.rs b/prusti-server/src/backend.rs
@@ -12,7 +12,7 @@ impl<'a> Backend<'a> {
     pub fn verify(&mut self, program: &prusti_common::vir::program::Program) -> VerificationResult {
         match self {
             Backend::Viper(viper, context) => {
-                let mut stopwatch = Stopwatch::start("prusti-server", "verifier startup");
+                let mut stopwatch = Stopwatch::start("prusti-server backend", "construction of JVM objects");
 
                 let ast_factory = context.new_ast_factory();
                 let viper_program = program.to_viper(LoweringContext::default(), &ast_factory);