[dune] Precise package for tests.

e2871cba · Michele Alberti · 386df8f0 · e2871cba
Commit e2871cba authored 2 years ago by Michele Alberti
--- a/tests/dune
+++ b/tests/dune
 (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
-))
+)