From aa827b34a25e73685537385e652907e92cc389b7 Mon Sep 17 00:00:00 2001
From: Aymeric Varasse <aymeric.varasse@cea.fr>
Date: Thu, 6 Jun 2024 12:01:31 +0200
Subject: [PATCH] [refactor] Remove leftovers of nier
---
tests/dune | 2 +-
tests/{nier_to_onnx.t => nir_to_onnx.t} | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
rename tests/{nier_to_onnx.t => nir_to_onnx.t} (98%)
diff --git a/tests/dune b/tests/dune
index aedd9f6..d2e9762 100644
--- a/tests/dune
+++ b/tests/dune
@@ -1,6 +1,6 @@
(cram
(alias local)
- (applies_to * \ nier_to_onnx acasxu_ci)
+ (applies_to * \ nir_to_onnx acasxu_ci)
(deps
(package caisar)
setup_env.sh
diff --git a/tests/nier_to_onnx.t b/tests/nir_to_onnx.t
similarity index 98%
rename from tests/nier_to_onnx.t
rename to tests/nir_to_onnx.t
index 6182e15..8963344 100644
--- a/tests/nier_to_onnx.t
+++ b/tests/nir_to_onnx.t
@@ -31,7 +31,7 @@ Input name should be 0
1 files checked
$ caisar verify --format whyml --prover=PyRAT --ltag=NIR --onnx-out-dir="out_nnet" - 2>&1 <<EOF
- > theory NIER_to_ONNX
+ > theory NIR_to_ONNX
> use ieee_float.Float64
> use caisar.types.Vector
> use caisar.model.Model
--
GitLab