From 43b0db171e0af8c1b38762110b38be9fd1fcadd3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 5 Jun 2024 15:13:25 +0200
Subject: [PATCH] [Tests] Fix onnx tests
---
lib/onnx/tests/dune | 2 +-
lib/onnx/tests/print.ml | 6 +++---
utils/dune | 2 +-
3 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/lib/onnx/tests/dune b/lib/onnx/tests/dune
index 1492579..eb78936 100644
--- a/lib/onnx/tests/dune
+++ b/lib/onnx/tests/dune
@@ -1,6 +1,6 @@
(tests
(names print)
- (libraries caisar.onnx caisar.ir unix)
+ (libraries caisar.onnx caisar.nir unix)
(deps
../../../examples/acasxu/nets/onnx/ACASXU_1_1.onnx
../../../tests/bin/inspect_onnx.py))
diff --git a/lib/onnx/tests/print.ml b/lib/onnx/tests/print.ml
index 166927b..a8f37b0 100644
--- a/lib/onnx/tests/print.ml
+++ b/lib/onnx/tests/print.ml
@@ -7,13 +7,13 @@ let () =
let temporary_file = "out/test.onnx"
let () =
- match Onnx.Simple.parse file with
+ match Onnx.Reader.from_file file with
| Error s -> print_endline s
| Ok { nir = Error s; _ } -> print_endline s
| Ok { nir = Ok g; _ } -> (
print_endline "ok";
- Onnx.Simple.write g temporary_file;
- match Onnx.Simple.parse temporary_file with
+ Onnx.Writer.to_file g temporary_file;
+ match Onnx.Reader.from_file temporary_file with
| Error s -> print_endline s
| Ok { nir = Error s; _ } -> print_endline s
| Ok { nir = Ok _; _ } -> print_endline "ok")
diff --git a/utils/dune b/utils/dune
index a70bed4..a9a3d35 100644
--- a/utils/dune
+++ b/utils/dune
@@ -1,5 +1,5 @@
(library
(name caisar_logging)
(package caisar)
- (libraries base csv logs logs.cli logs.fmt fmt why3)
+ (libraries base csv logs logs.cli logs.fmt fmt fmt.tty why3)
(synopsis "Logging utilities for CAISAR"))
--
GitLab