chore: remove solver tests with python script

they are now integrated in the standard test suite, divided by smt2 and mps
TendTo · Feb 13, 2024 · 53d9cdf · 53d9cdf
1 parent 7c6a092
commit 53d9cdf
Show file tree

Hide file tree

Showing 136 changed files with 5 additions and 34,339 deletions.
diff --git a/.gitattributes b/.gitattributes
@@ -5,3 +5,7 @@
 # in Windows via a file share from Linux, the scripts will work.
 *.{cmd,[cC][mM][dD]} text eol=crlf
 *.{bat,[bB][aA][tT]} text eol=crlf
+
+# Ignore language of test files
+test/solver/smt2/* linguist-vendored
+test/solver/mps/* linguist-vendored
diff --git a/test/solver/BUILD.bazel b/test/solver/BUILD.bazel
@@ -1,4 +1,4 @@
-load("//tools:dlinear.bzl", "dlinear_cc_binary", "dlinear_cc_googletest", "dlinear_cc_library", "solver_test_all")
+load("//tools:dlinear.bzl", "dlinear_cc_googletest", "dlinear_cc_library")
 
 dlinear_cc_library(
     name = "test_solver_utils",
@@ -63,15 +63,3 @@ dlinear_cc_googletest(
         "//dlinear/solver",
     ],
 )
-
-dlinear_cc_binary(
-    name = "test_solver_binary",
-    srcs = ["MainTestSolver.cpp"],
-    deps = [
-        "//dlinear/solver",
-        "//dlinear/util:argparser",
-        "//dlinear/util:config",
-    ],
-)
-
-solver_test_all()
diff --git a/test/solver/MainTestSolver.cpp b/test/solver/MainTestSolver.cpp
diff --git a/test/solver/TestSolver.py b/test/solver/TestSolver.py
diff --git a/test/solver/files/LP_kleemin3.expected b/test/solver/files/LP_kleemin3.expected
diff --git a/test/solver/files/LP_kleemin3.smt2 b/test/solver/files/LP_kleemin3.smt2
diff --git a/test/solver/files/afiro.expected b/test/solver/files/afiro.expected
diff --git a/test/solver/files/afiro.mps b/test/solver/files/afiro.mps