python-sat: drop Lingeling from the new test_empty_clause and test_proof in 1.9.dev17

Author: luhenry

patches/python-sat/1.9.dev17/0001-build-without-the-Lingeling-solver.patch

@@ -17,16 +17,19 @@ Drop 'lingeling' from to_install. pysolvers.cc guards all Lingeling
 code behind WITH_LINGELING, so the extension builds and links without
 it; pysat.solvers.Lingeling (and Solver(name='lingeling')) then fails
 with an AttributeError on pysolvers.lingeling_new. Remove 'lingeling'
-from the solver lists of the three tests that loop over every solver
-so that they keep exercising the remaining nineteen.
+from the solver lists of the five tests that loop over every solver
+(test_empty_clause.py names it by its 'lgl' alias) so that they keep
+exercising the remaining nineteen.
 
 Signed-off-by: Ludovic Henry <git@ludovic.dev>
 ---
  setup.py                   | 2 +-
  tests/test_accum_stats.py  | 1 -
  tests/test_cnf.py          | 1 -
+ tests/test_empty_clause.py | 2 +-
+ tests/test_proof.py        | 1 -
  tests/test_unique_model.py | 1 -
- 4 files changed, 1 insertion(+), 4 deletions(-)
+ 6 files changed, 2 insertions(+), 6 deletions(-)
 
 diff --git a/setup.py b/setup.py
 index 65da94a..837c620 100644
@@ -77,5 +80,28 @@ index 35d86b6..9fd127d 100644
             'maplechrono',
             'maplecm',
             'maplesat',
+diff --git a/tests/test_empty_clause.py b/tests/test_empty_clause.py
+--- a/tests/test_empty_clause.py
++++ b/tests/test_empty_clause.py
+@@ -2,7 +2,7 @@ from pysat.solvers import Solver
+ from pysat.solvers import ergo_present
+ 
+ # every solver's name, as a clause-adding backend
+-solvers = ['m22', 'mgh', 'mep', 'mpl', 'mcm', 'mc', 'mcb', 'lgl',
++solvers = ['m22', 'mgh', 'mep', 'mpl', 'mcm', 'mc', 'mcb',
+            'g3', 'g4', 'g41', 'gc3', 'gc4',
+            'cd', 'cd15', 'cd19', 'cd30', 'cdl', 'cdl15', 'cdl19', 'ergo']
+ 
+diff --git a/tests/test_proof.py b/tests/test_proof.py
+--- a/tests/test_proof.py
++++ b/tests/test_proof.py
+@@ -12,7 +12,6 @@ solvers = ['cadical103',
+            'glucose30',
+            'glucose41',
+            'glucose42',
+-           'lingeling',
+            'maplechrono',
+            'maplecm',
+            'maplesat']
 -- 
 2.43.0