CVC5: re-enable concurrency test for Windows. (#484)

This reverts f071868 .

Author: kfriedberger

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

@@ -11,7 +11,6 @@
 import static com.google.common.truth.Truth.assertThat;
 import static com.google.common.truth.TruthJUnit.assume;
 import static org.junit.Assert.assertThrows;
-import static org.sosy_lab.java_smt.test.SolverContextFactoryTest.IS_WINDOWS;
 
 import org.junit.Test;
 import org.sosy_lab.common.configuration.InvalidConfigurationException;
@@ -149,10 +148,6 @@ public void testCVC5WithValidOptions() throws InvalidConfigurationException {
   public void testCVC5WithValidOptionsTimeLimit()
       throws InvalidConfigurationException, InterruptedException {
     assume().that(solverToUse()).isEqualTo(Solvers.CVC5);
-    assume()
-        .withMessage("CVC5 has an issue with creating and closing a second context on Windows.")
-        .that(IS_WINDOWS)
-        .isFalse();
 
     //  tlimit-per is time limit in ms of wall clock time per query
     var configValid =