From 9f70807c97ef82dedab468b476c9d6a1cd3512db Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 7 May 2021 11:22:05 +0200
Subject: [PATCH] Precise the pyrat regexp for the result.
---
pyrat.ml | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/pyrat.ml b/pyrat.ml
index 7ad8404..b2fdd49 100644
--- a/pyrat.ml
+++ b/pyrat.ml
@@ -15,7 +15,8 @@ let re_version = Str.regexp "[0-9]\\(\\.[0-9]\\)*\\(\\.?[A-Za-z-+]\\)*"
let re_of_result result =
Str.regexp
- (match result with
+ ("^Result: " ^
+ match result with
| Solver.Result.Valid -> "True"
| Invalid -> "False"
| Timeout -> "Timeout"
--
GitLab