From b38c2497c15f2ec1da6407834170a4a41f4e6080 Mon Sep 17 00:00:00 2001 From: Valentin Perrelle <valentin.perrelle@cea.fr> Date: Tue, 12 Mar 2019 15:47:09 +0100 Subject: [PATCH] [Eva] Up to eleven or it does not exist --- src/plugins/value/value_parameters.ml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml index e6d47c54189..35f989e7c0e 100644 --- a/src/plugins/value/value_parameters.ml +++ b/src/plugins/value/value_parameters.ml @@ -1372,10 +1372,10 @@ let set (type t) (module P: Parameter_sig.S with type t = t) t = else printf " option %s set to %s." P.name str; end -(* power 0 1 2 3 4 5 6 7 8 9 10 *) -let slevel_power = [| 0; 10; 20; 50; 100; 200; 500; 1000; 2000; 5000; 10000 |] -let ilevel_power = [| 8; 12; 16; 24; 32; 64; 128; 256; 256; 256; 256 |] -let plevel_power = [| 10; 20; 40; 70; 100; 150; 200; 300; 500; 700; 1000 |] +(* power 0 1 2 3 4 5 6 7 8 9 10 11 *) +let slevel_power = [| 0; 10; 20; 50; 100; 200; 500; 1000; 2000; 5000; 10000; 20000 |] +let ilevel_power = [| 8; 12; 16; 24; 32; 64; 128; 256; 256; 256; 256; 256 |] +let plevel_power = [| 10; 20; 40; 70; 100; 150; 200; 300; 500; 700; 1000; 2000 |] let set_analysis option_name n = -- GitLab