From 054665ece4d9e7c8030d0a9081f0c5d75fdb7de0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Mon, 18 Mar 2019 16:00:00 +0100
Subject: [PATCH] [Eva] Gui: allows the user to change -eva-precision in the
Eva panel.
---
src/plugins/value/gui_files/register_gui.ml | 16 ++++++++++++----
src/plugins/value/value_parameters.mli | 3 +++
2 files changed, 15 insertions(+), 4 deletions(-)
diff --git a/src/plugins/value/gui_files/register_gui.ml b/src/plugins/value/gui_files/register_gui.ml
index 80d4d7ebce2..33fcef5d778 100644
--- a/src/plugins/value/gui_files/register_gui.ml
+++ b/src/plugins/value/gui_files/register_gui.ml
@@ -113,16 +113,24 @@ let value_panel pack (main_ui:main_ui) =
GPack.table ~packing:(box#pack ~expand:true ~fill:true) ~columns:2 ()
in
let box_1_1 = GPack.hbox ~packing:(w#attach ~left:1 ~top:1) () in
+ let precision_refresh =
+ let tooltip = Value_parameters.Precision.parameter.Typed_parameter.help in
+ Gtk_helper.on_int ~lower:(-1) ~upper:11 ~tooltip
+ box_1_1 "precision (meta-option)"
+ Value_parameters.Precision.get
+ Value_parameters.Precision.set
+ in
+ let box_1_2 = GPack.hbox ~packing:(w#attach ~left:1 ~top:2) () in
let slevel_refresh =
let tooltip =
Value_parameters.SemanticUnrollingLevel.parameter.Typed_parameter.help
in
Gtk_helper.on_int ~lower:0 ~upper:1000000 ~tooltip
- box_1_1 "slevel"
+ box_1_2 "slevel"
Value_parameters.SemanticUnrollingLevel.get
Value_parameters.SemanticUnrollingLevel.set
in
- let box_1_2 = GPack.hbox ~packing:(w#attach ~left:1 ~top:2) () in
+ let box_1_3 = GPack.hbox ~packing:(w#attach ~left:1 ~top:3) () in
let validator s =
not
(Kernel_function.Set.is_empty
@@ -130,9 +138,9 @@ let value_panel pack (main_ui:main_ui) =
in
let main_refresh = Gtk_helper.on_string
~tooltip:Kernel.MainFunction.parameter.Typed_parameter.help
- ~validator box_1_2 "main" Kernel.MainFunction.get Kernel.MainFunction.set
+ ~validator box_1_3 "main" Kernel.MainFunction.get Kernel.MainFunction.set
in
- let refresh () = slevel_refresh (); main_refresh() in
+ let refresh () = precision_refresh (); slevel_refresh (); main_refresh() in
ignore (run_button#connect#pressed
(fun () ->
main_ui#protect ~cancelable:true
diff --git a/src/plugins/value/value_parameters.mli b/src/plugins/value/value_parameters.mli
index 66b79243da3..1d42262c972 100644
--- a/src/plugins/value/value_parameters.mli
+++ b/src/plugins/value/value_parameters.mli
@@ -149,6 +149,9 @@ module MallocFunctions: Parameter_sig.String_set
module AllocReturnsNull: Parameter_sig.Bool
module MallocLevel: Parameter_sig.Int
+(** Meta-option *)
+module Precision: Parameter_sig.Int
+
val parameters_correctness: Typed_parameter.t list
val parameters_tuning: Typed_parameter.t list
--
GitLab