hjugement-protocol/tests/HUnit/Arithmetic.hs

   1 {-# LANGUAGE AllowAmbiguousTypes #-}
   2 {-# LANGUAGE OverloadedStrings #-}
   3 module HUnit.Arithmetic where
   4
   5 import Test.Tasty.HUnit
   6 import Protocol.Arithmetic
   7 import Utils
   8
   9 hunit :: TestTree
  10 hunit = testGroup "Arithmetic"
  11  [ testGroup "inv"
  12          [ testGroup "WeakParams"
  13                  [ testCase "groupGen" $
  14                         inv (groupGen @WeakParams) @?=
  15                                 groupGen ^ E (groupOrder @WeakParams + neg one)
  16                  ]
  17          , testGroup "BeleniosParams"
  18                  [ testCase "groupGen" $
  19                         inv (groupGen @BeleniosParams) @?=
  20                                 groupGen ^ E (groupOrder @BeleniosParams + neg one)
  21                  ]
  22          ]
  23  , testGroup "hash"
  24          [ testGroup "WeakParams"
  25                  [ testCase "[groupGen]" $
  26                         hash "start" [groupGen @WeakParams] @?=
  27                                 fromNatural 100
  28                  , testCase "[groupGen, groupGen]" $
  29                         hash "start" [groupGen @WeakParams, groupGen] @?=
  30                                 fromNatural 16
  31                  ]
  32          , testGroup "BeleniosParams"
  33                  [ testCase "[groupGen]" $
  34                         hash "start" [groupGen @BeleniosParams] @?=
  35                                 fromNatural 1832875488615060263192702367259
  36                  , testCase "[groupGen, groupGen]" $
  37                         hash "start" [groupGen @BeleniosParams, groupGen] @?=
  38                                 fromNatural 2495277906542783643199702546512
  39                  ]
  40          ]
  41  ]