From 78738b403e05774ca597a24c8c1a2701f86ae1f4 Mon Sep 17 00:00:00 2001 From: Kenneth MacKenzie Date: Thu, 13 Jun 2024 21:34:13 +0100 Subject: [PATCH] Reduce coverage limits for signature verification tests (#6209) --- .../Builtins/SignatureVerification.hs | 20 +++++++++---------- 1 file changed, 10 insertions(+), 10 deletions(-) diff --git a/plutus-core/untyped-plutus-core/test/Evaluation/Builtins/SignatureVerification.hs b/plutus-core/untyped-plutus-core/test/Evaluation/Builtins/SignatureVerification.hs index 8e5b00a94e8..f4d6f6baf90 100644 --- a/plutus-core/untyped-plutus-core/test/Evaluation/Builtins/SignatureVerification.hs +++ b/plutus-core/untyped-plutus-core/test/Evaluation/Builtins/SignatureVerification.hs @@ -59,21 +59,21 @@ ecdsaSecp256k1Prop = do schnorrSecp256k1Prop :: PropertyT IO () schnorrSecp256k1Prop = do testCase <- forAllWith ppShow genSchnorrCase - cover 18 "malformed verification key" . is (_ShouldError . _BadVerKey) $ testCase - cover 18 "malformed signature" . is (_ShouldError . _BadSignature) $ testCase - cover 18 "mismatch of signing key and verification key" . is (_Shouldn'tError . _WrongVerKey) $ testCase - cover 18 "mismatch of message and signature" . is (_Shouldn'tError . _WrongSignature) $ testCase - cover 18 "happy path" . is (_Shouldn'tError . _AllGood) $ testCase + cover 15 "malformed verification key" . is (_ShouldError . _BadVerKey) $ testCase + cover 15 "malformed signature" . is (_ShouldError . _BadSignature) $ testCase + cover 15 "mismatch of signing key and verification key" . is (_Shouldn'tError . _WrongVerKey) $ testCase + cover 15 "mismatch of message and signature" . is (_Shouldn'tError . _WrongSignature) $ testCase + cover 15 "happy path" . is (_Shouldn'tError . _AllGood) $ testCase runTestDataWith def testCase id VerifySchnorrSecp256k1Signature ed25519Prop :: BuiltinSemanticsVariant DefaultFun -> PropertyT IO () ed25519Prop semvar = do testCase <- forAllWith ppShow genEd25519Case - cover 18 "malformed verification key" . is (_ShouldError . _BadVerKey) $ testCase - cover 18 "malformed signature" . is (_ShouldError . _BadSignature) $ testCase - cover 18 "mismatch of signing key and verification key" . is (_Shouldn'tError . _WrongVerKey) $ testCase - cover 18 "mismatch of message and signature" . is (_Shouldn'tError . _WrongSignature) $ testCase - cover 18 "happy path" . is (_Shouldn'tError . _AllGood) $ testCase + cover 15 "malformed verification key" . is (_ShouldError . _BadVerKey) $ testCase + cover 15 "malformed signature" . is (_ShouldError . _BadSignature) $ testCase + cover 15 "mismatch of signing key and verification key" . is (_Shouldn'tError . _WrongVerKey) $ testCase + cover 15 "mismatch of message and signature" . is (_Shouldn'tError . _WrongSignature) $ testCase + cover 15 "happy path" . is (_Shouldn'tError . _AllGood) $ testCase runTestDataWith semvar testCase id VerifyEd25519Signature ed25519_VariantAProp :: PropertyT IO ()