Skip to content
Snippets Groups Projects
Commit 2269f8ea authored by Michele Alberti's avatar Michele Alberti
Browse files

[tests] Remove unnecessary files.

parent f64b4c6a
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
tests/datasets/a/a001.png deleted 100644 → 0
+ 0
− 0
View file @ f64b4c6a
tests/datasets/a/a002.png deleted 100644 → 0
+ 0
− 0
View file @ f64b4c6a
tests/dune
+ 0
− 2
View file @ 2269f8ea
...@@ -11,8 +11,6 @@ ...@@ -11,8 +11,6 @@
bin/cvc5 bin/cvc5
bin/nnenum.sh bin/nnenum.sh
filter_tmpdir.sh filter_tmpdir.sh
(glob_files "datasets/a/*")
filter_tmpdir.sh
../lib/xgboost/example/california.csv ../lib/xgboost/example/california.csv
../lib/xgboost/example/california.json) ../lib/xgboost/example/california.json)
(package caisar)) (package caisar))
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment