{-# LANGUAGE CPP #-}

{- FOURMOLU_DISABLE -}
module Main (main) where

import qualified Test.Crypto.VRF
import Test.Hspec (Spec, describe, hspec)
import Test.Hspec.QuickCheck (modifyMaxSuccess)
import Cardano.Crypto.Libsodium (sodiumInit)

main :: IO ()
IO ()
main = do
  IO ()
sodiumInit
  Spec -> IO ()
hspec Spec
tests

tests :: Spec
tests :: Spec
tests =
  -- The default QuickCheck test count is 100. This is too few to catch
  -- anything, so we set a minimum of 1000.
  (Int -> Int) -> Spec -> Spec
forall a. (Int -> Int) -> SpecWith a -> SpecWith a
modifyMaxSuccess (Int -> Int -> Int
forall a. Ord a => a -> a -> a
max Int
1000) (Spec -> Spec) -> (Spec -> Spec) -> Spec -> Spec
forall b c a. (b -> c) -> (a -> b) -> a -> c
.
    String -> Spec -> Spec
forall a. HasCallStack => String -> SpecWith a -> SpecWith a
describe String
"cardano-crypto-praos" (Spec -> Spec) -> Spec -> Spec
forall a b. (a -> b) -> a -> b
$ do
      Spec
Test.Crypto.VRF.tests