From 68bd566c6003e9b19184eebfe434af82deeb37c4 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 30 Mar 2022 13:42:16 +0200
Subject: [PATCH] Fix for making path to network file absolute.
---
src/verification.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/verification.ml b/src/verification.ml
index ee4d1ded..a5073ea8 100644
--- a/src/verification.ml
+++ b/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 =
--
GitLab