diff --git a/tests/dune b/tests/dune
index e65becccab35297919fb528089fd968cfa4318ec..b1409f6f4c464010431352a79bb965e4c616a96c 100644
--- a/tests/dune
+++ b/tests/dune
@@ -6,6 +6,7 @@
   setup_env.sh
   TestNetwork.nnet
   TestNetworkONNX.onnx
+  ../examples/acasxu/nets/onnx/ACASXU_1_1.onnx
   TestSVM.ovo
   (glob_files bin/*)
   filter_tmpdir.sh