From f373f15eed6f94e7c28dd0474ca280ebf50d5944 Mon Sep 17 00:00:00 2001
From: Federico Poli <fpoli@users.noreply.github.com>
Date: Mon, 27 Feb 2023 08:33:13 +0100
Subject: [PATCH] Fix measurement of verification time

---
 prusti-server/src/backend.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/prusti-server/src/backend.rs b/prusti-server/src/backend.rs
index 37c9a91f0db..5a36ad6c399 100644
--- 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)
                 })
             }