From 0c33fe67e3d68a59b9f4e49541ecb84f2252aa1a Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Fri, 12 Jul 2024 15:23:13 +0200
Subject: [PATCH] [test][ci] ci test target explicitly targets files
---
tests/dune | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/tests/dune b/tests/dune
index 48dee0c..8cdc54b 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
--
GitLab