Rename get_spec to generate_spec

tests/misc/vis_spec.ml

@@ -36,11 +36,10 @@ class pathcrawlerVisitor prj =
   end
 
 let startup () =
-  let open Populate_spec in
-  let get_spec kf =
-    populate_funspec ~do_body:true kf [`Exits]
+  let generate_spec kf =
+    Populate_spec.populate_funspec ~do_body:true kf [`Exits]
   in
-  Globals.Functions.iter get_spec;
+  Globals.Functions.iter generate_spec;
   Format.printf "Starting visit@.";
   let prj = File.create_project_from_visitor "pcanalyzer"
       (fun prj -> new pathcrawlerVisitor prj)

tests/spec/default_spec_combine.ml

@@ -12,11 +12,10 @@ let gen_allocates _ _ = FreeAllocAny
 let status_allocates = Property_status.Dont_know
 
 let run () =
-  let open Populate_spec in
-  let get_spec kf =
-    populate_funspec kf [`Exits; `Assigns; `Requires; `Allocates]
+  let generate_spec kf =
+    Populate_spec.populate_funspec kf [`Exits; `Assigns; `Requires; `Allocates]
   in
-  Globals.Functions.iter get_spec
+  Globals.Functions.iter generate_spec
 
 let populate () =
   Format.printf "Registering an mode that does nothing@.";

tests/spec/default_spec_custom.ml

@@ -27,12 +27,11 @@ let status_allocates = Property_status.Dont_know
 let status_terminates = Property_status.Dont_know
 
 let run () =
-  let open Populate_spec in
-  let get_spec kf =
-    populate_funspec ~do_body:true kf
+  let generate_spec kf =
+    Populate_spec.populate_funspec ~do_body:true kf
       [`Exits; `Assigns; `Requires; `Allocates; `Terminates]
   in
-  Globals.Functions.iter get_spec
+  Globals.Functions.iter generate_spec
 
 let populate () =
   Format.printf "Registering an empty spec generation mode@.";

tests/spec/default_spec_mode.ml

 let run () =
   let open Populate_spec in
-  let get_spec kf =
+  let generate_spec kf =
     let funspec = Annotations.funspec kf in
     populate_funspec ~do_body:true kf [`Exits];
     (* Populates assigns using old deprecated API function. *)
@@ -13,7 +13,7 @@ let run () =
     populate_funspec ~do_body:true kf
       [`Exits; `Assigns; `Requires; `Allocates; `Terminates]
   in
-  Globals.Functions.iter get_spec
+  Globals.Functions.iter generate_spec
 [@@ warning "-3"]
 
 let () = Db.Main.extend run