diff --git a/tests/dune b/tests/dune index f4fdcc24dab63d03a62cde53b9cf75f47e3c1414..a99e393b5197ae909350dfe66d9f66ba56ed5dba 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 -)) +)