[Dive] Renames options -dive-from and -dive-from-function-alarms.

Into -dive-from-variables and -dive-from-alarms respectively.

src/plugins/dive/self.ml

@@ -53,7 +53,7 @@ module DepthLimit = Int
 
 module FromFunctionAlarms = Kernel_function_set
     (struct
-      let option_name = "-dive-from-function-alarms"
+      let option_name = "-dive-from-alarms"
       let help = "Build the graph from the alarms emitted in the given functions."
       let arg_name = "f1,..."
     end)
@@ -109,7 +109,7 @@ module Varinfo_set (X: Parameter_sig.Input_with_arg) =
 
 module FromBases = Varinfo_set
     (struct
-      let option_name = "-dive-from"
+      let option_name = "-dive-from-variables"
       let help = "Build the graph from these local variables."
       let arg_name = "f::v,..."
     end)

src/plugins/dive/tests/dive/assigned_param.i

 /* run.config
-STDOPT: +"-dive-from main::w -dive-depth-limit 5"
+STDOPT: +"-dive-from-variables main::w -dive-depth-limit 5"
 */
 
 volatile int nondet;

src/plugins/dive/tests/dive/callstack_strategy.i

 /* run.config
-STDOPT: +"-dive-from g::r -dive-depth-limit 20"
+STDOPT: +"-dive-from-variables g::r -dive-depth-limit 20"
 */
 
 float f(float z) {

src/plugins/dive/tests/dive/const.i

 /* run.config
-STDOPT: +"-dive-from main::res -dive-depth-limit 4"
+STDOPT: +"-dive-from-variables main::res -dive-depth-limit 4"
 */
 
 int f(int x, int y)
@@ -13,4 +13,4 @@ int main(int i)
 {
   int res = f(i, 2*i);
   return res;
-}
\ No newline at end of file
+}

src/plugins/dive/tests/dive/global.i

 /* run.config
-STDOPT: +"-dive-from main::z"
+STDOPT: +"-dive-from-variables main::z"
 */
 
 float g;

src/plugins/dive/tests/dive/per_callstack.i

 /* run.config
-STDOPT: +"-dive-from main::w -dive-depth-limit 20"
+STDOPT: +"-dive-from-variables main::w -dive-depth-limit 20"
 */
 
 float f(float x) {

src/plugins/dive/tests/dive/pointed_param.i

 /* run.config
-STDOPT: +"-dive-from main::y -dive-depth-limit 5"
+STDOPT: +"-dive-from-variables main::y -dive-depth-limit 5"
 */
 
 float h(float *p)

src/plugins/dive/tests/dive/pointers_to_local.i

 /* run.config
-STDOPT: +"-dive-from main::x -dive-depth-limit 5"
+STDOPT: +"-dive-from-variables main::x -dive-depth-limit 5"
 */
 
 void g(float *p) {

src/plugins/dive/tests/dive/unfocused_callers.i

 /* run.config
-STDOPT: +"-dive-from g::x -dive-depth-limit 7"
+STDOPT: +"-dive-from-variables g::x -dive-depth-limit 7"
 */
 
 float g(float x) {

src/plugins/dive/tests/dive/various.i

 /* run.config
-STDOPT: +"-dive-from main::z,f::x2 -dive-from-function-alarms f,main -dive-depth-limit 5"
+STDOPT: +"-dive-from-variables main::z,f::x2 -dive-from-alarms f,main -dive-depth-limit 5"
 */
 
 float g;