Support tasty-hedgehog-1.2.*

[RyanGlScott]

Currently, bv-sized's test suite does not support tasty-hedgehog-1.2.0.0, the latest Hackage release:

bv-sized/bv-sized.cabal

Line 52 in 9232347

tasty-hedgehog >= 1.0.0.2 && < 1.2

This poses an issue when trying to update macaw's bv-sized submodule, as newer versions of what4 and related libraries require tasty-hedgehog-1.2.* (see GaloisInc/what4#198, for instance). While it would be simple to raise bv-sized's upper version bounds on tasty-hedgehog, doing so reveals a slew of deprecation warnings due to qfpl/tasty-hedgehog#42:

[1 of 1] Compiling Main             ( test/Main.hs, interpreted )

test/Main.hs:221:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
221 |   [ testProperty "and" $ bin anyWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:224:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
224 |   , testProperty "or" $ bin anyWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:227:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
227 |   , testProperty "xor" $ bin anyWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:230:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
230 |   , testProperty "complement" $ un anyWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:237:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
237 |   [ testProperty "add" $ bin anyWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:240:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
240 |   , testProperty "sub" $ bin anyWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:243:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
243 |   , testProperty "mul" $ bin anyWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:246:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
246 |   , testProperty "uquot" $ bin anyPosWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:249:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
249 |   , testProperty "urem" $ bin anyPosWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:252:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
252 |   , testProperty "squot-pos-denom" $ bin anyWidthGT1 BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:255:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
255 |   , testProperty "squot-neg-denom" $ bin anyWidthGT1 BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:258:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
258 |   , testProperty "srem-pos-denom" $ bin anyWidthGT1 BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:261:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
261 |   , testProperty "srem-neg-denom" $ bin anyWidthGT1 BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:264:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
264 |   , testProperty "sdiv-pos-denom" $ bin anyWidthGT1 BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:267:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
267 |   , testProperty "sdiv-neg-denom" $ bin anyWidthGT1 BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:270:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
270 |   , testProperty "smod-pos-denom" $ bin anyWidthGT1 BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:273:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
273 |   , testProperty "smod-neg-denom" $ bin anyWidthGT1 BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:276:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
276 |   , testProperty "abs" $ un anyPosWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:279:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
279 |   , testProperty "negate" $ un anyPosWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:282:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
282 |   , testProperty "signBit" $ un anyPosWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:285:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
285 |   , testProperty "signum" $ un anyPosWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:288:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
288 |   , testProperty "slt" $ binPred anyPosWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:291:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
291 |   , testProperty "sle" $ binPred anyPosWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:294:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
294 |   , testProperty "ult" $ binPred anyWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:297:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
297 |   , testProperty "ule" $ binPred anyWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:300:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
300 |   , testProperty "umin" $ bin anyWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:303:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
303 |   , testProperty "umax" $ bin anyWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:306:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
306 |   , testProperty "smin" $ bin anyPosWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:309:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
309 |   , testProperty "smax" $ bin anyPosWidth BV.mkBV
    |     ^^^^^^^^^^^^

test/Main.hs:350:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
350 |   [ testProperty "bitsBE" $
    |     ^^^^^^^^^^^^

test/Main.hs:352:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
352 |   , testProperty "bitsLE" $
    |     ^^^^^^^^^^^^

test/Main.hs:354:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
354 |   , testProperty "bytesBE" $
    |     ^^^^^^^^^^^^

test/Main.hs:356:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
356 |   , testProperty "bytesLE" $
    |     ^^^^^^^^^^^^

test/Main.hs:358:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
358 |   , testProperty "bytestringBE" $
    |     ^^^^^^^^^^^^

test/Main.hs:360:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
360 |   , testProperty "bytestringLE" $
    |     ^^^^^^^^^^^^

test/Main.hs:366:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
366 |   [ testProperty "asBitsBE" $
    |     ^^^^^^^^^^^^

test/Main.hs:368:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
368 |   , testProperty "asBitsLE" $
    |     ^^^^^^^^^^^^

test/Main.hs:370:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
370 |   , testProperty "asBytesBE" $
    |     ^^^^^^^^^^^^

test/Main.hs:372:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
372 |   , testProperty "asBytesLE" $
    |     ^^^^^^^^^^^^

test/Main.hs:374:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
374 |   , testProperty "asBytesBE" $
    |     ^^^^^^^^^^^^

test/Main.hs:376:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
376 |   , testProperty "asBytesLE" $
    |     ^^^^^^^^^^^^

test/Main.hs:502:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
502 |   [ testProperty "mkBV" $ wfCtor anyWidth (fmap Just . BV.mkBV)
    |     ^^^^^^^^^^^^

test/Main.hs:503:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
503 |   , testProperty "mkBVUnsigned" $ wfCtor anyWidth BV.mkBVUnsigned
    |     ^^^^^^^^^^^^

test/Main.hs:504:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
504 |   , testProperty "mkBVSigned" $ wfCtor anyPosWidth (forcePos BV.mkBVSigned)
    |     ^^^^^^^^^^^^

test/Main.hs:505:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
505 |   , testProperty "signedClamp" $ wfCtor anyPosWidth (fmap Just . forcePos BV.signedClamp)
    |     ^^^^^^^^^^^^

test/Main.hs:506:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
506 |   , testProperty "minUnsigned" $ wfCtor anyWidth (\w _ -> Just (BV.minUnsigned w))
    |     ^^^^^^^^^^^^

test/Main.hs:507:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
507 |   , testProperty "maxUnsigned" $ wfCtor anyWidth (\w _ -> Just (BV.maxUnsigned w))
    |     ^^^^^^^^^^^^

test/Main.hs:508:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
508 |   , testProperty "minSigned" $ wfCtor anyPosWidth (\w _ -> Just (forcePos BV.minSigned w))
    |     ^^^^^^^^^^^^

test/Main.hs:509:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
509 |   , testProperty "maxSigned" $ wfCtor anyPosWidth (\w _ -> Just (forcePos BV.maxSigned w))
    |     ^^^^^^^^^^^^

test/Main.hs:510:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
510 |   , testProperty "bool" $ wfCtor' knownNat (BV.bool . odd)
    |     ^^^^^^^^^^^^

test/Main.hs:511:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
511 |   , testProperty "word8" $ wfCtor' knownNat (BV.word8 . fromInteger)
    |     ^^^^^^^^^^^^

test/Main.hs:512:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
512 |   , testProperty "word16" $ wfCtor' knownNat (BV.word16 . fromInteger)
    |     ^^^^^^^^^^^^

test/Main.hs:513:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
513 |   , testProperty "word32" $ wfCtor' knownNat (BV.word32 . fromInteger)
    |     ^^^^^^^^^^^^

test/Main.hs:514:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
514 |   , testProperty "word64" $ wfCtor' knownNat (BV.word64 . fromInteger)
    |     ^^^^^^^^^^^^

test/Main.hs:515:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
515 |   , testProperty "int8" $ wfCtor' knownNat (BV.int8 . fromInteger)
    |     ^^^^^^^^^^^^

test/Main.hs:516:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
516 |   , testProperty "int16" $ wfCtor' knownNat (BV.int16 . fromInteger)
    |     ^^^^^^^^^^^^

test/Main.hs:517:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
517 |   , testProperty "int32" $ wfCtor' knownNat (BV.int32 . fromInteger)
    |     ^^^^^^^^^^^^

test/Main.hs:518:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
518 |   , testProperty "int64" $ wfCtor' knownNat (BV.int64 . fromInteger)
    |     ^^^^^^^^^^^^

test/Main.hs:519:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
519 |   , testProperty "and" $ wfBinary anyWidth (const BV.and)
    |     ^^^^^^^^^^^^

test/Main.hs:520:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
520 |   , testProperty "or" $ wfBinary anyWidth (const BV.or)
    |     ^^^^^^^^^^^^

test/Main.hs:521:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
521 |   , testProperty "xor" $ wfBinary anyWidth (const BV.xor)
    |     ^^^^^^^^^^^^

test/Main.hs:522:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
522 |   , testProperty "complement" $ wfUnary anyWidth BV.complement
    |     ^^^^^^^^^^^^

test/Main.hs:523:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
523 |   , testProperty "shl" $ wfBinaryN anyWidth BV.shl
    |     ^^^^^^^^^^^^

test/Main.hs:524:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
524 |   , testProperty "ashr" $ wfBinaryN anyPosWidth (forcePos BV.ashr)
    |     ^^^^^^^^^^^^

test/Main.hs:525:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
525 |   , testProperty "lshr" $ wfBinaryN anyWidth BV.lshr
    |     ^^^^^^^^^^^^

test/Main.hs:526:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
526 |   , testProperty "rotateL" $ wfBinaryN anyWidth BV.rotateL
    |     ^^^^^^^^^^^^

test/Main.hs:527:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
527 |   , testProperty "rotateR" $ wfBinaryN anyWidth BV.rotateR
    |     ^^^^^^^^^^^^

test/Main.hs:528:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
528 |   , testProperty "bit" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:534:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
534 |   , testProperty "bit'" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:540:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
540 |   , testProperty "setBit" $ wfBit anyPosWidth (const BV.setBit)
    |     ^^^^^^^^^^^^

test/Main.hs:541:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
541 |   , testProperty "setBit'" $ wfBitN anyPosWidth BV.setBit'
    |     ^^^^^^^^^^^^

test/Main.hs:542:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
542 |   , testProperty "clearBit" $ wfBit anyPosWidth BV.clearBit
    |     ^^^^^^^^^^^^

test/Main.hs:543:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
543 |   , testProperty "clearBit'" $ wfBitN anyPosWidth BV.clearBit'
    |     ^^^^^^^^^^^^

test/Main.hs:544:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
544 |   , testProperty "complementBit" $ wfBit anyPosWidth (const BV.complementBit)
    |     ^^^^^^^^^^^^

test/Main.hs:545:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
545 |   , testProperty "complementBit'" $ wfBitN anyPosWidth BV.complementBit'
    |     ^^^^^^^^^^^^

test/Main.hs:546:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
546 |   , testProperty "popCount" $ wfUnary anyWidth (const BV.popCount)
    |     ^^^^^^^^^^^^

test/Main.hs:547:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
547 |   , testProperty "ctz" $ wfUnary anyWidth BV.ctz
    |     ^^^^^^^^^^^^

test/Main.hs:548:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
548 |   , testProperty "clz" $ wfUnary anyWidth BV.clz
    |     ^^^^^^^^^^^^

test/Main.hs:549:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
549 |   , testProperty "truncBits" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:556:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
556 |   , testProperty "add" $ wfBinary anyWidth BV.add
    |     ^^^^^^^^^^^^

test/Main.hs:557:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
557 |   , testProperty "sub" $ wfBinary anyWidth BV.sub
    |     ^^^^^^^^^^^^

test/Main.hs:558:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
558 |   , testProperty "mul" $ wfBinary anyWidth BV.mul
    |     ^^^^^^^^^^^^

test/Main.hs:559:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
559 |   , testProperty "uquot" $ wfBinaryDiv anyPosWidth (const BV.uquot)
    |     ^^^^^^^^^^^^

test/Main.hs:560:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
560 |   , testProperty "urem" $ wfBinaryDiv anyPosWidth (const BV.urem)
    |     ^^^^^^^^^^^^

test/Main.hs:561:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
561 |   , testProperty "squot" $ wfBinaryDiv anyPosWidth (forcePos BV.squot)
    |     ^^^^^^^^^^^^

test/Main.hs:562:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
562 |   , testProperty "srem" $ wfBinaryDiv anyPosWidth (forcePos BV.srem)
    |     ^^^^^^^^^^^^

test/Main.hs:563:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
563 |   , testProperty "sdiv" $ wfBinaryDiv anyPosWidth (forcePos BV.sdiv)
    |     ^^^^^^^^^^^^

test/Main.hs:564:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
564 |   , testProperty "smod" $ wfBinaryDiv anyPosWidth (forcePos BV.smod)
    |     ^^^^^^^^^^^^

test/Main.hs:565:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
565 |   , testProperty "abs" $ wfUnary anyPosWidth (forcePos BV.abs)
    |     ^^^^^^^^^^^^

test/Main.hs:566:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
566 |   , testProperty "negate" $ wfUnary anyWidth BV.negate
    |     ^^^^^^^^^^^^

test/Main.hs:567:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
567 |   , testProperty "signBit" $ wfUnary anyPosWidth (forcePos BV.signBit)
    |     ^^^^^^^^^^^^

test/Main.hs:568:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
568 |   , testProperty "signum" $ wfUnary anyPosWidth (forcePos BV.signum)
    |     ^^^^^^^^^^^^

test/Main.hs:569:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
569 |   , testProperty "umin" $ wfBinary anyWidth (const BV.umin)
    |     ^^^^^^^^^^^^

test/Main.hs:570:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
570 |   , testProperty "umax" $ wfBinary anyWidth (const BV.umax)
    |     ^^^^^^^^^^^^

test/Main.hs:571:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
571 |   , testProperty "smin" $ wfBinary anyPosWidth (forcePos BV.smin)
    |     ^^^^^^^^^^^^

test/Main.hs:572:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
572 |   , testProperty "smax" $ wfBinary anyPosWidth (forcePos BV.smax)
    |     ^^^^^^^^^^^^

test/Main.hs:573:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
573 |   , testProperty "concat" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:581:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
581 |   , testProperty "select" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:591:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
591 |   , testProperty "select'" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:599:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
599 |   , testProperty "zext" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:606:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
606 |   , testProperty "sext" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:613:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
613 |   , testProperty "trunc" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:620:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
620 |   , testProperty "trunc'" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:625:21: warning: [-Wdeprecations]
    In the use of ‘trunc'’
    (imported from Data.BitVector.Sized, but defined in bv-sized-1.0.4.99:Data.BitVector.Sized.Internal):
    Deprecated: "Use zresize instead"
    |
625 |       let BV.BV x = BV.trunc' w' bv
    |                     ^^^^^^^^^

test/Main.hs:627:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
627 |   , testProperty "zresize" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:634:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
634 |   , testProperty "sresize" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:642:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
642 |   , testProperty "mulWide" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:650:7: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
650 |     , testProperty "succUnsigned" $ wfUnaryMaybe anyWidth BV.succUnsigned
    |       ^^^^^^^^^^^^

test/Main.hs:651:7: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
651 |     , testProperty "succSigned" $ wfUnaryMaybe anyPosWidth (forcePos BV.succUnsigned)
    |       ^^^^^^^^^^^^

test/Main.hs:652:7: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
652 |     , testProperty "predUnsigned" $ wfUnaryMaybe anyWidth BV.predUnsigned
    |       ^^^^^^^^^^^^

test/Main.hs:653:7: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
653 |     , testProperty "predSigned" $ wfUnaryMaybe anyPosWidth (forcePos BV.predUnsigned)
    |       ^^^^^^^^^^^^

test/Main.hs:679:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
679 |   [ testProperty "random unsigned well-formed" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:682:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
682 |   , testProperty "random signed well-formed" $ property $ do
    |     ^^^^^^^^^^^^

test/Main.hs:685:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
685 |   , testProperty "randomR unsigned well-formed and in bounds" $
    |     ^^^^^^^^^^^^

test/Main.hs:687:5: warning: [-Wdeprecations]
    In the use of ‘testProperty’ (imported from Test.Tasty.Hedgehog):
    Deprecated: "testProperty will cause Hedgehog to provide incorrect instructions for re-checking properties"
    |
687 |   , testProperty "randomR signed well-formed and in bounds" $
    |     ^^^^^^^^^^^^

There are two possible ways to fix these deprecation warnings:

1. Define our own version of testProperty in terms of testPropertyNamed. This is the approach that what4 takes in Avoid testProperty deprecation warnings with tasty-hedgehog-1.2 what4#198.
2. Change all properties to top-level values and change every use of testProperty to testPropertyNamed. This is the approach that parameterized-utils takes in Replace testProperty with testPropertyNamed parameterized-utils#131.

@benjaminselfridge, do you have a preference on which solution I should implement? I'd be OK with either one, although (2) would take more work to achieve.