diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml index e6d47c5418912ddc10c637e9c86ed89a0212dbf0..35f989e7c0ed1e146fda47d4c7f0ce8b68e20005 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 =