lib: doc: fix links and stuffs

[majurity.git] / hjugement-protocol / tests / HUnit / FFC.hs

diff --git a/hjugement-protocol/tests/HUnit/FFC.hs b/hjugement-protocol/tests/HUnit/FFC.hs
index a0d297237559b052b522da0ee3551765887cd816..ca21e86b3a4d37487c81d43aa887c9ae69bc990b 100644 (file)
--- a/hjugement-protocol/tests/HUnit/FFC.hs
+++ b/hjugement-protocol/tests/HUnit/FFC.hs
@@ -10,7 +10,7 @@ import qualified Data.Text as Text
 
 hunit :: Reifies v Version => Proxy v -> TestTree
 hunit _v = testGroup "FFC"
- [ testGroup "inv"
+ [ testGroup "inverse"
         [ hunitInv weakFFC
         , hunitInv beleniosFFC
         ]
@@ -44,6 +44,6 @@ hunitInv crypto =
        testGroup (Text.unpack $ cryptoName crypto)
         [ testCase "groupGen" $
                        reifyCrypto crypto $ \(_c::Proxy c) ->
-                               inv (groupGen :: G crypto c) @?=
+                               inverse (groupGen :: G crypto c) @?=
                                        groupGen ^ E (fromJust $ groupOrder (Proxy @c) `minusNaturalMaybe` one)
         ]