Merge pull request #229 from GaloisInc/tasty-sugar-2

Require tasty-sugar 2.0 or greater and address deprecation.
GaloisInc · Jan 10, 2023 · 92db65b · 92db65b
2 parents 7ba5e90 + 4a116f1
commit 92db65b
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/what4/test/SolverParserTest.hs b/what4/test/SolverParserTest.hs
@@ -20,7 +20,7 @@ import           What4.Protocol.SMTWriter
 
 
 sugarCube :: CUBE
-sugarCube = mkCUBE { inputDir = "test/responses"
+sugarCube = mkCUBE { inputDirs = [ "test/responses" ]
                    , rootName = "*.rsp"
                    , expectedSuffix = ".exp"
                    , validParams = [ ("parsing", Just ["strict", "lenient"])

diff --git a/what4/what4.cabal b/what4/what4.cabal
@@ -422,7 +422,7 @@ test-suite solver_parsing_tests
                , exceptions
                , io-streams
                , lumberjack
-               , tasty-sugar >= 1.3 && < 2.1
+               , tasty-sugar >= 2.0 && < 2.1
                , text
 
 test-suite what4-serialize-tests