diff --git a/Makefile b/Makefile
index 3c50ad605d027087ac9e5c8661bb07a07bcdcf80..578e218cd687cd17ea346ec8da4cad7f9e87d6d3 100644
--- a/Makefile
+++ b/Makefile
@@ -11,7 +11,7 @@ uninstall:
 	dune uninstall
 
 test:
-	dune build @tests/local
+	dune runtest
 
 test-ci:
 	dune build -j2 @tests/ci
diff --git a/caisar.opam b/caisar.opam
index 63b528d74034f0d773aea1abf70d5c96f13ad125..393bada1db90659f18852d6425776c319a689063 100644
--- a/caisar.opam
+++ b/caisar.opam
@@ -10,7 +10,7 @@ homepage: "https://git.frama-c.com/pub/caisar"
 doc: "https://git.frama-c.com/pub/caisar"
 bug-reports: "https://git.frama-c.com/pub/caisar/issues"
 depends: [
-  "dune" {>= "3.8"}
+  "dune" {>= "3.12"}
   "ocaml" {>= "4.13"}
   "dune-site" {>= "2.9.0"}
   "zarith" {>= "1.7"}
diff --git a/dune-project b/dune-project
index 5b1c3df3d12ad6322a01658f080b120d4e835de8..41e3656ee64d24f2998f1221e63c4f4a2bf89bde 100644
--- a/dune-project
+++ b/dune-project
@@ -1,4 +1,4 @@
-(lang dune 3.8)
+(lang dune 3.12)
 (name caisar)
 (version 2.0)
 
diff --git a/flake.nix b/flake.nix
index 2d40836c459f2a9840deb95b55ddc83c9c4c0204..4709453778456b0e204a9c1a7923c78fca93b420 100644
--- a/flake.nix
+++ b/flake.nix
@@ -94,7 +94,10 @@
               dontBuild = true;
               dontInstall = true;
               doCheck = true;
-              checkPhase = "make test-ci";
+              checkPhase = ''
+                make test
+                make test-ci
+              '';
               buildInputs = oldAttrs.buildInputs ++
                 [ pkgs.python3Packages.onnx ];
             });
diff --git a/lib/onnx/tests/print.ml b/lib/onnx/tests/print.ml
index a8f37b07730b4423e4eab195c6aaacfdb0b13b7e..90e2e7b1fba6d7777f966388a592cc0f035f5c63 100644
--- a/lib/onnx/tests/print.ml
+++ b/lib/onnx/tests/print.ml
@@ -20,7 +20,7 @@ let () =
 
 let () =
   let pid =
-    Unix.create_process "/usr/bin/python3"
+    Unix.create_process "python3"
       [| "python3"; "../../../tests/bin/inspect_onnx.py" |]
       Unix.stdin Unix.stdout Unix.stdout
   in
diff --git a/tests/comparison.t b/tests/comparison.t
index a901ae8bbbb9a7e9d8dfa9445d0b74c22541048a..6887f27fc9da85e81a4def3a3aa8273982d0effa 100644
--- a/tests/comparison.t
+++ b/tests/comparison.t
@@ -2,6 +2,7 @@
 
   $ ls ../examples/
   acasxu
+  arithmetic
   mnist
   onnx_rewrite
 
diff --git a/tests/dune b/tests/dune
index 1700ee9ba7fa66998348c4cd34672d3bf80622e9..8cdc54b64145997a1aabb149a57aeebd13e873b5 100644
--- a/tests/dune
+++ b/tests/dune
@@ -1,76 +1,44 @@
 (cram
- (alias local)
- (applies_to * \ nir_to_onnx acasxu_ci arithmetic comparison sequencing)
+ (applies_to * \ nir_to_onnx acasxu_ci)
  (deps
   (package caisar)
   setup_env.sh
+  (glob_files bin/*)
+  filter_tmpdir.sh
   TestNetwork.nnet
   TestNetworkONNX.onnx
   TestSVM.ovo
-  (glob_files bin/*)
-  filter_tmpdir.sh
-  ../lib/xgboost/example/california.csv
-  ../lib/xgboost/example/california.json
-  )
- (package caisar))
-
- (cram
- (alias local)
- (applies_to arithmetic)
- (deps
-  (package caisar)
-  setup_env.sh
-  (glob_files bin/*)
-  filter_tmpdir.sh
   ../examples/arithmetic/arithmetic.why
   ../examples/arithmetic/FNN_s42.onnx
-  )
- (package caisar))
-
- (cram
- (alias local)
- (applies_to comparison)
- (deps
-  (package caisar)
-  setup_env.sh
-  (glob_files bin/*)
-  filter_tmpdir.sh
   ../examples/onnx_rewrite/comparison.mlw
+  ../examples/onnx_rewrite/sequencing.mlw
+  ../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/csv/single_image.csv
-  )
- (package caisar))
-
- (cram
- (alias local)
- (applies_to sequencing)
- (deps
-  (package caisar)
-  setup_env.sh
-  (glob_files bin/*)
-  filter_tmpdir.sh
-  ../examples/onnx_rewrite/sequencing.mlw
   ../examples/mnist/nets/splitted/FNN_28x28_pre_s42.onnx
   ../examples/mnist/nets/splitted/FNN_28x28_post_s42.onnx
   ../examples/mnist/csv/single_image.csv
+  ../lib/xgboost/example/california.csv
+  ../lib/xgboost/example/california.json
   )
  (package caisar))
 
-
 (cram
  (alias ci)
+ (applies_to nir_to_onnx acasxu_ci)
  (enabled_if %{bin-available:python3})
+ (runtest_alias false)
  (deps
   (package caisar)
   setup_env.sh
+  (glob_files bin/*)
+  filter_tmpdir.sh
   TestNetwork.nnet
   TestNetworkONNX.onnx
+  TestSVM.ovo
   ../examples/acasxu/nets/onnx/ACASXU_1_1.onnx
   ../examples/acasxu/nets/onnx/ACASXU_1_9.onnx
-  TestSVM.ovo
-  (glob_files bin/*)
-  filter_tmpdir.sh
   ../lib/xgboost/example/california.csv
   ../lib/xgboost/example/california.json)
  (package caisar))
diff --git a/tests/sequencing.t b/tests/sequencing.t
index 90676de048b7b3b4230fc3983428cfa4de113361..fff480817c16ee5cd38255351f0a77d2bf85aecd 100644
--- a/tests/sequencing.t
+++ b/tests/sequencing.t
@@ -2,6 +2,7 @@
 
   $ ls ../examples/
   acasxu
+  arithmetic
   mnist
   onnx_rewrite