ci: refine Codecov workflow

Author: phguo

.github/workflows/codecov.yml

@@ -25,7 +25,7 @@ jobs:
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
-          pip install ".[plot,all-solvers,test]" pytest-rerunfailures
+          pip install ".[plot,all-solvers,test]"
           pip install -e .
 
       - name: Show project structure and installed packages
@@ -36,7 +36,7 @@ jobs:
 
       - name: Run tests and generate coverage report
         run: |
-          pytest --cov=benderslib --cov-report=xml --reruns 2 --reruns-delay 2
+          pytest --cov=benderslib --cov-report=xml
 
       - name: Upload coverage report
         uses: actions/upload-artifact@v4

examples/iis/iis_copt.py

@@ -40,20 +40,17 @@ def make_sub_problem():
 
 
 if __name__ == '__main__':
-    if not copt_available:
-        print("COPT is not available.")
-        exit(1)
+    if copt_available:
+        sub = make_sub_problem()
 
-    sub = make_sub_problem()
+        # For simplicity, we directly use the Copt solver interface from BendersLib.
+        # Typically, this should be wrapped in the SubProblem class like SubProblem(Copt(...)).
+        sub_problem_solver = Copt(sub)
 
-    # For simplicity, we directly use the Copt solver interface from BendersLib.
-    # Typically, this should be wrapped in the SubProblem class like SubProblem(Copt(...)).
-    sub_problem_solver = Copt(sub)
-
-    sub_problem_solver.solve()
-    print("Optimization status :", sub_problem_solver.status)
-    iis_vars = sub_problem_solver.compute_iis()
-    print("Variables in the IIS:", iis_vars)
+        sub_problem_solver.solve()
+        print("Optimization status :", sub_problem_solver.status)
+        iis_vars = sub_problem_solver.compute_iis()
+        print("Variables in the IIS:", iis_vars)
 
 # %%
 #

examples/solvers/solver_copt.py

@@ -41,22 +41,19 @@ def make_original_problem():
 
 
 if __name__ == '__main__':
-    if not copt_available:
-        print("COPT is not available.")
-        exit(1)
+    if copt_available:
+        model, complicating_vars = make_original_problem()
+        model_copy = model.clone()
+        model.solve()
 
-    model, complicating_vars = make_original_problem()
-    model_copy = model.clone()
-    model.solve()
+        BD = AnnotatedBenders(model, solver=Copt, complicating_vars=complicating_vars, benders=ClassicalBenders)
+        BD.solve()
 
-    BD = AnnotatedBenders(model, solver=Copt, complicating_vars=complicating_vars, benders=ClassicalBenders)
-    BD.solve()
+        BD = AnnotatedBenders(model_copy, solver=Copt, complicating_vars=complicating_vars, benders=ClassicalBenders)
+        BD.params.use_bnc = True
+        BD.solve()
 
-    BD = AnnotatedBenders(model_copy, solver=Copt, complicating_vars=complicating_vars, benders=ClassicalBenders)
-    BD.params.use_bnc = True
-    BD.solve()
-
-    draw_curve(BD.result)
+        draw_curve(BD.result)
 
 # %%
 #