diff --git a/tests/dune b/tests/dune
index 48dee0c3bd1013629a87531ffbb09950bffc4e74..8cdc54b64145997a1aabb149a57aeebd13e873b5 100644
--- a/tests/dune
+++ b/tests/dune
@@ -9,9 +9,11 @@
   TestNetworkONNX.onnx
   TestSVM.ovo
   ../examples/arithmetic/arithmetic.why
+  ../examples/arithmetic/FNN_s42.onnx
   ../examples/onnx_rewrite/comparison.mlw
   ../examples/onnx_rewrite/sequencing.mlw
-  ../examples/arithmetic/FNN_s42.onnx
+  ../examples/acasxu/nets/onnx/ACASXU_1_1.onnx
+  ../examples/acasxu/nets/onnx/ACASXU_1_9.onnx
   ../examples/mnist/nets/pruned/FNN_28x28_s42.onnx
   ../examples/mnist/nets/pruned/FNN_28x28_pruned_s42.onnx
   ../examples/mnist/nets/splitted/FNN_28x28_pre_s42.onnx
@@ -24,6 +26,7 @@
 
 (cram
  (alias ci)
+ (applies_to nir_to_onnx acasxu_ci)
  (enabled_if %{bin-available:python3})
  (runtest_alias false)
  (deps