summaryrefslogtreecommitdiff
path: root/tests/HUnit/Arithmetic.hs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/HUnit/Arithmetic.hs')
-rw-r--r--tests/HUnit/Arithmetic.hs41
1 files changed, 0 insertions, 41 deletions
diff --git a/tests/HUnit/Arithmetic.hs b/tests/HUnit/Arithmetic.hs
deleted file mode 100644
index 6a4a304..0000000
--- a/tests/HUnit/Arithmetic.hs
+++ /dev/null
@@ -1,41 +0,0 @@
-{-# LANGUAGE AllowAmbiguousTypes #-}
-{-# LANGUAGE OverloadedStrings #-}
-module HUnit.Arithmetic where
-
-import Test.Tasty.HUnit
-import Voting.Protocol
-import Utils
-
-hunit :: TestTree
-hunit = testGroup "Arithmetic"
- [ testGroup "inv"
- [ testGroup "WeakParams"
- [ testCase "groupGen" $
- inv (groupGen @WeakParams) @?=
- groupGen ^ E (groupOrder @WeakParams + neg one)
- ]
- , testGroup "BeleniosParams"
- [ testCase "groupGen" $
- inv (groupGen @BeleniosParams) @?=
- groupGen ^ E (groupOrder @BeleniosParams + neg one)
- ]
- ]
- , testGroup "hash"
- [ testGroup "WeakParams"
- [ testCase "[groupGen]" $
- hash "start" [groupGen @WeakParams] @?=
- fromNatural 100
- , testCase "[groupGen, groupGen]" $
- hash "start" [groupGen @WeakParams, groupGen] @?=
- fromNatural 16
- ]
- , testGroup "BeleniosParams"
- [ testCase "[groupGen]" $
- hash "start" [groupGen @BeleniosParams] @?=
- fromNatural 1832875488615060263192702367259
- , testCase "[groupGen, groupGen]" $
- hash "start" [groupGen @BeleniosParams, groupGen] @?=
- fromNatural 2495277906542783643199702546512
- ]
- ]
- ]