From 17b9b59e764932df02c207160528909fc50d2fc9 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sat, 27 Apr 2024 16:01:03 +0200 Subject: [PATCH] Remove useless test --- test/ALBASpec.hs | 7 ------- 1 file changed, 7 deletions(-) diff --git a/test/ALBASpec.hs b/test/ALBASpec.hs index e72004e1..352f6dd4 100644 --- a/test/ALBASpec.hs +++ b/test/ALBASpec.hs @@ -81,13 +81,6 @@ spec = do , (Params 128 128 800 200, 68) ] - it "proof has different elements" $ do - elems <- generate $ resize 10 (genItems 8) - let params = Params 8 8 8 2 - proof = prove params elems - Proof (_, bs) = proof - List.nub bs `shouldBe` bs - prop "can verify small proof is valid" $ prop_verifyValidProof 8 100 modifyMaxSuccess (const 10) $ prop "can verify large proof is valid" $