From 9824cda37d926b6aa46a976a214acfc7d12cc246 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 8 Oct 2018 16:28:41 +0200
Subject: [PATCH] [Eva] Renames the plugin into Eva.
---
src/plugins/value/value_parameters.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index e5fef382fa3..b7b2ab26bdf 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -58,7 +58,7 @@ let () = List.iter add_correctness_dep kernel_parameters_correctness
include Plugin.Register
(struct
- let name = "value analysis"
+ let name = "Eva"
let shortname = "eva"
let help =
"automatically computes variation domains for the variables of the program"
--
GitLab