swrup/mte
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

add test/b32.ml; no need to re-pad in B32.decode

Browse source
This commit is contained in:
swrup 2026-02-07 20:29:35 +01:00
parent c9842f5cc1
commit b741692018
4 changed files with 24 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

15
test/b32.ml Normal file
View file

@ -0,0 +1,15 @@
let () =
let id s = s |> B32.encode |> B32.decode |> Result.get_ok in
let f s =
let s' = id s in
match s' = s with
| false ->
Fmt.failwith "b32 round trip failure: @\nin :`%S`@\nout:`%S`" s' s
| true -> ()
in
let s = String.init 0xff Char.chr in
let s_l = List.init 0x0f (fun i -> String.init i Char.chr) in
f s;
List.iter f s_l;
()

5
test/dune
View file

@ -3,6 +3,11 @@
(modules test)
(libraries mte fmt))
(test
(name b32)
(modules b32)
(libraries b32 fmt))
; TODO
; cram test?
; gcc -o a.out ./test/signatures.c && ./a.out > a.output

28
test/test.ml
View file

@ -1,17 +1,16 @@
let () = Mirage_crypto_rng_unix.use_default ()
let get_ok = function Error e -> failwith e | Ok v -> v
let () =
let priv = Mirage_crypto_pk.Rsa.generate ~bits:2048 () in
let pub = Mirage_crypto_pk.Rsa.pub_of_priv priv in
let () =
let open Crypto.RsaPrivateKey in
let priv' = priv |> to_octets |> of_octets |> get_ok in
let priv' = priv |> to_octets |> of_octets |> Result.get_ok in
assert (to_octets priv = to_octets priv')
in
let () =
let open Crypto.RsaPublicKey in
let pub' = pub |> to_octets |> of_octets |> get_ok in
let pub' = pub |> to_octets |> of_octets |> Result.get_ok in
assert (to_octets pub = to_octets pub')
in
()
@ -19,8 +18,8 @@ let () =
let () =
let open Api in
let check jsont s =
let encode v = encode jsont v |> get_ok in
let decode v = decode jsont v |> get_ok in
let encode v = encode jsont v |> Result.get_ok in
let decode v = decode jsont v |> Result.get_ok in
let ts = decode s in
let s' = encode ts in
let ts' = decode s' in
@ -107,22 +106,3 @@ let () =
*)
()
*)
let () =
let v =
"04000274VF2F65WWABKGZYHREQWAFTVPMWEK9EQYMCPP1E6CMC224XDDDBVM7NRMNDX3TETHTK5G7GPPPYGN08FEMSY6B7NGBE8AYMG5HWT2BXRSAHAWDWW5Y16YVGXJG0BCKW3X17EWEF8MNGFGJBKVWQV5WPT0R2QK82QXFHFVGP3HR1D8HF69JXBC22B62M4SFETRJNXRG2GXX03BETSNQW0X7BYTMFJX5JQH4B2KJMABB02RFSNNMND7CT7MSAX5SCZY5ZB9XS4ZDKA9AVTS11V790KXXBSFZSD3NNEHKB6RS99RJD3MDJE04G1Q83HR50N5NVBDW3HPJZKQS5SSG7R2R2F7K8P06HJ4YSQFF52GF3RZW22N4FRQ28KQ2JZMZ1GJS1KBNHNNMS1RW9DZQ3882Z5V0000000004002"
in
let decode s = B32.decode s |> get_ok in
let v' = B32.encode (decode v) in
let v'' = B32.encode (decode v') in
(*
Fmt.pr "v : %s@." v;
Fmt.pr "v' : %s@." v';
Fmt.pr "v'': %s@." v'';
Fmt.pr "len v : %d@." (String.length v);
Fmt.pr "len v' : %d@." (String.length v');
Fmt.pr "len v'': %d@." (String.length v'');
*)
assert (v = v');
assert (v' = v'');
()