From e2871cbaf310cb59dc0bcc9bf47f956975b69038 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 4 Jul 2022 14:49:43 +0200
Subject: [PATCH] [dune] Precise package for tests.

---
 tests/dune | 18 ++++++++++--------
 1 file changed, 10 insertions(+), 8 deletions(-)

diff --git a/tests/dune b/tests/dune
index f4fdcc24..a99e393b 100644
--- a/tests/dune
+++ b/tests/dune
@@ -1,10 +1,12 @@
 (cram
- (deps
+  (deps
+    (package caisar)
+    TestNetwork.nnet
+    TestNetworkONNX.onnx
+    TestSVM.ovo
+    bin/pyrat.py
+    bin/Marabou
+    bin/saver
+  )
   (package caisar)
-   TestNetwork.nnet
-   TestNetworkONNX.onnx
-   TestSVM.ovo
-   bin/pyrat.py
-   bin/Marabou
-   bin/saver
-))
+)
-- 
GitLab