Update tasty-hedgehog

This updates tasty-hedgehog to the latest version, introducing a small hack to fix a deprecation warning. Fixes GaloisInc#23
travitch · May 24, 2022 · 4468036 · 4468036
1 parent 9232347
commit 4468036
Show file tree

Hide file tree

Showing 2 changed files with 132 additions and 115 deletions.
diff --git a/bv-sized.cabal b/bv-sized.cabal
@@ -49,6 +49,6 @@ test-suite bv-sized-tests
                        MonadRandom >= 0.5.3 && < 0.6,
                        parameterized-utils,
                        tasty >= 1.2.3 && < 1.5,
-                       tasty-hedgehog >= 1.0.0.2 && < 1.2
+                       tasty-hedgehog >= 1.2 && < 1.3
   default-language:    Haskell2010
   ghc-options:         -Wall -Wcompat