Several changes

1. More careful return of pre-computed values from available()

2. Adding diagnostic output when getting an unexpected termination condition

Author: whart222

lib/coek/coek/coek.hpp

@@ -39,4 +39,5 @@
 #endif
 
 #include "coek/solvers/solver.hpp"
+#include "coek/solvers/solver_results.hpp"
 #include "coek/util/sequence.hpp"

lib/coek/coek/solvers/gurobi/gurobi.cpp

@@ -142,8 +142,8 @@ GurobiSolver::~GurobiSolver()
 
 bool GurobiSolver::available()
 {
-    if (license_status == gurobi_license_status::available)
-        return true;
+    if (license_status != gurobi_license_status::unknown)
+        return license_status == gurobi_license_status::available;
 
     try {
         auto _env = new GRBEnv(true);

lib/coek/test/coek_gurobi_test.cpp

@@ -126,7 +126,7 @@ int main()
     else {
         // SECTION("simplelp1")
         {
-            std::cout << "simplelp1" << std::endl;
+            std::cout << "simplelp1 - license issue" << std::endl;
             auto solver = test_solver();
             auto test = test::model("simplelp1");
             auto m = test->model;

lib/coek/test/solver/test_examples.cpp

@@ -332,6 +332,8 @@ TEST_CASE("gurobi_examples", "[solvers][gurobi]")
             auto ok
                 = (res->termination_condition == coek::TerminationCondition::solver_not_available)
                   or (res->termination_condition == coek::TerminationCondition::license_problems);
+            if (not ok)
+                std::cout << "Unexpected termination condition: " << coek::to_string(res->termination_condition) << std::endl;
             REQUIRE(ok == true);
         }
         // GCOVR_EXCL_STOP

lib/coek/test/solver/test_gurobi.cpp

@@ -110,6 +110,8 @@ TEST_CASE("gurobi_checks", "[solvers][gurobi]")
             auto ok
                 = (res->termination_condition == coek::TerminationCondition::solver_not_available)
                   or (res->termination_condition == coek::TerminationCondition::license_problems);
+            if (not ok)
+                std::cout << "Unexpected termination condition: " << coek::to_string(res->termination_condition) << std::endl;
             REQUIRE(ok == true);
         }
         // GCOVR_EXCL_STOP