Fix for making path to network file absolute.

src/verification.ml

@@ -54,7 +54,7 @@ let call_prover ~limit config (prover : Why3.Whyconf.config_prover) driver task
     | Some _ -> assert false (* By construction of the meta. *)
     | None -> invalid_arg (Fmt.str "No neural network model found in task")
   in
-  let nn_file = Filename.concat (Caml.Sys.getcwd ()) nn_file in
+  let nn_file = Unix.realpath nn_file in
   let command = Re.replace_string nnet_or_onnx ~by:nn_file command in
   let call_prover_on_task task_prepared =
     let prover_call =