From e05741ce02ebe74c368061ea626e12f76451ba5b Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Wed, 18 Nov 2020 20:30:36 +0100
Subject: [PATCH] [Aorai] Setup Eva to automatically use value partitioning on
 aorai state and history

---
 src/plugins/aorai/aorai_eva_analysis.enabled.ml | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/src/plugins/aorai/aorai_eva_analysis.enabled.ml b/src/plugins/aorai/aorai_eva_analysis.enabled.ml
index 85aaa035683..39270cf7b64 100644
--- a/src/plugins/aorai/aorai_eva_analysis.enabled.ml
+++ b/src/plugins/aorai/aorai_eva_analysis.enabled.ml
@@ -36,5 +36,15 @@ let add_slevel_annotation vi kind =
 let add_slevel_annotations () =
   Aorai_visitors.Aux_funcs.iter add_slevel_annotation
 
+let add_partitioning varname =
+  match Data_for_aorai.get_varinfo_option varname with
+  | None -> ()
+  | Some vi -> Eva.Value_parameters.use_global_value_partitioning vi
+
+let add_state_variables_partitioning () =
+  add_partitioning Data_for_aorai.curState;
+  List.iter add_partitioning (Data_for_aorai.whole_history ())
+
 let setup () =
-  add_slevel_annotations ()
+  add_slevel_annotations ();
+  add_state_variables_partitioning ()
-- 
GitLab