[SAVer] Correct type for dataset csv file.

src/main.ml

@@ -158,7 +158,7 @@ let verify_cmd =
   in
   let dataset_csv =
     let doc = "Dataset under CSV format. Currently only supported by SAVer." in
-    Arg.(value & opt (some string) None & info [ "dataset-csv" ] ~doc)
+    Arg.(value & opt (some file) None & info [ "dataset-csv" ] ~doc)
   in
   let doc =
     "Property verification of neural networks using external provers."

src/verification.ml

@@ -140,7 +140,7 @@ let answer_saver limit config task env prover dataset_csv =
         else Call_provers.Invalid
       | None -> Call_provers.HighFailure
       (* Any other answer than HighFailure should never happen as we do not
-         define anything in SAVer's driver *))
+         define anything in SAVer's driver. *))
     | _ -> assert false
   in
   answer