Skip to content

Commit c3e20ab

Browse files
added signature zero test
1 parent 70e8da8 commit c3e20ab

File tree

2 files changed

+8
-0
lines changed

2 files changed

+8
-0
lines changed

deku-p/src/core/crypto/tests/alg_intf_tests.ml

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -96,6 +96,8 @@ struct
9696
List.for_all
9797
(fun (signature, _) -> Signature.equal signature signature)
9898
(List.flatten signatures)
99+
100+
let zero = Signature.(to_b58 zero)
99101
end
100102

101103
module Test_secret_key_data = struct
@@ -217,5 +219,10 @@ struct
217219
Alcotest.(check' bool)
218220
~msg:"signature equality works" ~expected:Tezos_data.equality_signatures
219221
~actual:Signature_data.equality_signatures
222+
223+
let zero () =
224+
Alcotest.(check' string)
225+
~msg:"zeros are equal" ~expected:Tezos_data.zero
226+
~actual:Signature_data.zero
220227
end
221228
end

deku-p/src/core/crypto/tests/test_ed25519.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -108,5 +108,6 @@ let run () =
108108
Test_signature_data.verified_after_conversion;
109109
test_case "compare" `Quick Test_signature_data.compare;
110110
test_case "equality" `Quick Test_signature_data.equality;
111+
test_case "zero" `Quick Test_signature_data.zero;
111112
] );
112113
]

0 commit comments

Comments
 (0)