Skip to content

Commit

Permalink
Remove useless test
Browse files Browse the repository at this point in the history
  • Loading branch information
abailly committed Apr 27, 2024
1 parent ac53383 commit 17b9b59
Showing 1 changed file with 0 additions and 7 deletions.
7 changes: 0 additions & 7 deletions test/ALBASpec.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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" $
Expand Down

0 comments on commit 17b9b59

Please sign in to comment.