Merge branch 'fix/michele/path-saver-invocation' into 'master'

Fix use of paths in SAVer invocation

See merge request laiser/caisar!34

src/verification.ml

@@ -112,8 +112,8 @@ let answer_saver limit config task env prover dataset_csv =
         | _ -> failwith "Unsupported by SAVer.")
       | _ -> failwith "Unsupported by SAVer."
     in
-    let svm_file = Filename.concat (Caml.Sys.getcwd ()) svm_filename in
-    let dataset_file = Filename.concat (Caml.Sys.getcwd ()) dataset_filename in
+    let svm_file = Unix.realpath svm_filename in
+    let dataset_file = Unix.realpath dataset_filename in
     let command = Re__Core.replace_string svm ~by:svm_file command in
     let command = Re__Core.replace_string dataset ~by:dataset_file command in
     let command = Re__Core.replace_string epsilon ~by:eps command in
@@ -154,10 +154,11 @@ let answer_saver limit config task env prover dataset_csv =
            = Int.of_string (Re__Core.Group.get g 2)
         then Call_provers.Valid
         else Call_provers.Invalid
-      | None -> Call_provers.HighFailure
+      | None -> Call_provers.HighFailure)
+    | _ ->
       (* Any other answer than HighFailure should never happen as we do not
-         define anything in SAVer's driver. *))
-    | _ -> assert false
+         define anything in SAVer's driver. *)
+      assert false
   in
   answer