OpenSMT: exclude systems with older GLIBC from tests.

Author: kfriedberger

src/org/sosy_lab/java_smt/test/SolverContextFactoryTest.java

@@ -94,10 +94,13 @@ private void requireSupportedOperatingSystem() {
       case BOOLECTOR:
       case CVC4:
       case CVC5:
-      case OPENSMT:
       case YICES2:
         assume.that(IS_LINUX).isTrue();
         return;
+      case OPENSMT:
+        assume.that(IS_LINUX).isTrue();
+        assume.that(isSufficientVersionOfLibcxx("opensmtjava")).isTrue();
+        return;
       case BITWUZLA:
         assume.that(IS_LINUX).isTrue();
         assume.that(isSufficientVersionOfLibcxx("bitwuzlaj")).isTrue();