[SAVer] Rename module.

src/saver.mli → src/SAVer.mli

@@ -24,8 +24,8 @@ open Why3
 
 type answer = {
   prover_answer : Call_provers.prover_answer;
-  nb_total : int; (* Total number of data points. *)
-  nb_proved : int; (* Number of data points verifying the property. *)
+  nb_total : int;  (** Total number of data points. *)
+  nb_proved : int;  (** Number of data points verifying the property. *)
 }
 
 val call :

src/verification.ml

@@ -74,7 +74,7 @@ let answer_saver limit config env config_prover dataset_csv task =
     | None -> invalid_arg "No dataset provided for SAVer"
     | Some filename -> filename
   in
-  let answer = Saver.call limit config env config_prover ~dataset task in
+  let answer = SAVer.call limit config env config_prover ~dataset task in
   let prover_answer = answer.prover_answer in
   let additional_info = Fmt.str "(%d/%d)" answer.nb_proved answer.nb_total in
   (prover_answer, Some additional_info)