diff --git a/tests/dune b/tests/dune
index aedd9f6e3bd4b2cefda847f122bd81c7e0f8680d..d2e97626573761ff466af87eddfdb73324d13198 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 6182e158e75dca6c4422ac1ac0dc3c0fb4d8ffea..8963344445a4784d8ec86117029ae4be33a06891 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