Disable timeout test for CVC4 1.8

GaloisInc · Feb 5, 2025 · a9ae1be · a9ae1be
1 parent 038e948
commit a9ae1be
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/what4/test/OnlineSolverTest.hs b/what4/test/OnlineSolverTest.hs
@@ -422,7 +422,10 @@ timeoutTests testLevel solvers =
                 -- quickly (~0.25s).  This doesn't allow timeout
                 -- testing, and the speed suggests an improper
                 -- result as well.
-                (SolverName "CVC4", SolverVersion v) | "1.7" `elem` words v->
+                (SolverName "CVC4", SolverVersion v) | "1.7" `elem` words v ->
+                  ignoreTestBecause "solver completes too quickly"
+                -- TODO(#278): Maybe the same problem as above?
+                (SolverName "CVC4", SolverVersion v) | "1.8" `elem` words v ->
                   ignoreTestBecause "solver completes too quickly"
                 _ -> id
         in maybeSkipTest $ testGroup (snamestr $ testSolverName sti)