Fix typo in timeout test constant

Author: BaierD

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

@@ -31,7 +31,7 @@
 @RunWith(Parameterized.class)
 public class TimeoutTest extends SolverBasedTest0 {
 
-  private static final int TIMOUT_MILLISECONDS = 10000;
+  private static final int TIMEOUT_MILLISECONDS = 10000;
 
   private static final int[] DELAYS = {1, 5, 10, 20, 50, 100};
 
@@ -77,7 +77,7 @@ public void testTacticTimeout() {
     assertThrows(msg, InterruptedException.class, () -> mgr.applyTactic(test, Tactic.NNF));
   }
 
-  @Test(timeout = TIMOUT_MILLISECONDS)
+  @Test(timeout = TIMEOUT_MILLISECONDS)
   public void testProverTimeoutInt() throws InterruptedException {
     requireIntegers();
     TruthJUnit.assume()
@@ -87,7 +87,7 @@ public void testProverTimeoutInt() throws InterruptedException {
     testBasicProverTimeoutInt(() -> context.newProverEnvironment());
   }
 
-  @Test(timeout = TIMOUT_MILLISECONDS)
+  @Test(timeout = TIMEOUT_MILLISECONDS)
   public void testProverTimeoutBv() throws InterruptedException {
     requireBitvectors();
     TruthJUnit.assume()
@@ -103,7 +103,7 @@ public void testProverTimeoutBv() throws InterruptedException {
     testBasicProverTimeoutBv(() -> context.newProverEnvironment());
   }
 
-  @Test(timeout = TIMOUT_MILLISECONDS)
+  @Test(timeout = TIMEOUT_MILLISECONDS)
   public void testInterpolationProverTimeout() throws InterruptedException {
     requireInterpolation();
     requireIntegers();
@@ -114,7 +114,7 @@ public void testInterpolationProverTimeout() throws InterruptedException {
     testBasicProverTimeoutInt(() -> context.newProverEnvironmentWithInterpolation());
   }
 
-  @Test(timeout = TIMOUT_MILLISECONDS)
+  @Test(timeout = TIMEOUT_MILLISECONDS)
   public void testOptimizationProverTimeout() throws InterruptedException {
     requireOptimization();
     requireIntegers();