From f5331b9f8732136fbbee2b377be6827aee8f8e34 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Thu, 7 Jul 2022 07:22:55 +0200
Subject: [PATCH] [wp] fixed qed time for non-valid
---
src/plugins/wp/Stats.ml | 9 ++++-----
1 file changed, 4 insertions(+), 5 deletions(-)
diff --git a/src/plugins/wp/Stats.ml b/src/plugins/wp/Stats.ml
index 3b0357f287a..662b145ba0b 100644
--- a/src/plugins/wp/Stats.ml
+++ b/src/plugins/wp/Stats.ml
@@ -108,12 +108,11 @@ let consolidated = function
results in
r.verdict,
(if cached then 1 else 0),
- if p = Qed then
- [Qed,pqed r]
+ if p = Qed then [Qed,pqed r]
else
- pmerge
- [Qed,psolver r]
- (if VCS.is_valid r then [p,presult r] else [])
+ if VCS.is_valid r
+ then pmerge [Qed,psolver r] [p,presult r]
+ else []
let results prs =
let verdict, cached, provers = consolidated prs in
--
GitLab