From a9ae1be1b3afb9ad327bea417dbb41d8a5129178 Mon Sep 17 00:00:00 2001 From: Langston Barrett Date: Wed, 5 Feb 2025 10:11:08 -0500 Subject: [PATCH] Disable timeout test for CVC4 1.8 --- what4/test/OnlineSolverTest.hs | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/what4/test/OnlineSolverTest.hs b/what4/test/OnlineSolverTest.hs index e63fd385..1795da10 100644 --- 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)