This commit is contained in:
parent
e2b6cabb33
commit
d22e6e5276
1 changed files with 7 additions and 1 deletions
|
|
@ -110,13 +110,19 @@ let () =
|
||||||
|
|
||||||
let () =
|
let () =
|
||||||
let v =
|
let v =
|
||||||
"04000274VF2F65WWABKGZYHREQWAFTVPMWEK9EQYMCPP1E6CMC224XDDDBVM7NRMNDX3TETHTK5G7GPPPYGN08FEMSY6B7NGBE8AYMG5HWT2BXRSAHAWDWW5Y16YVGXJG0BCKW3X17EWEF8MNGFGJBKVWQV5WPT0R2QK82QXFHFVGP3HR1D8HF69JXBC22B62M4SFETRJNXRG2GXX03BETSNQW0X7BYTMFJX5JQH4B2KJMABB02RFSNNMND7CT7MSAX5SCZY5ZB9XS4ZDKA9AVTS11V790KXXBSFZSD3NNEHKB6RS99RJD3MDJE04G1Q83HR50N5NVBDW3HPJZKQS5SSG7R2R2F7K8P06HJ4YSQFF52GF3RZW22N4FRQ28KQ2JZMZ1GJS1KBNHNNMS1RW9DZQ3882Z5V0000000004002"
|
"04000274VF2F65WWABKGZYHREQWAFTVPMWEK9EQYMCPP1E6CMC224XDDDBVM7NRMNDX3TETHTK5G7GPPPYGN08FEMSY6B7NGBE8AYMG5HWT2BXRSAHAWDWW5Y16YVGXJG0BCKW3X17EWEF8MNGFGJBKVWQV5WPT0R2QK82QXFHFVGP3HR1D8HF69JXBC22B62M4SFETRJNXRG2GXX03BETSNQW0X7BYTMFJX5JQH4B2KJMABB02RFSNNMND7CT7MSAX5SCZY5ZB9XS4ZDKA9AVTS11V790KXXBSFZSD3NNEHKB6RS99RJD3MDJE04G1Q83HR50N5NVBDW3HPJZKQS5SSG7R2R2F7K8P06HJ4YSQFF52GF3RZW22N4FRQ28KQ2JZMZ1GJS1KBNHNNMS1RW9DZQ3882Z5V0000000004002==="
|
||||||
in
|
in
|
||||||
let decode s = B32.decode s |> get_ok in
|
let decode s = B32.decode s |> get_ok in
|
||||||
let v' = B32.encode (decode v) 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 "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');
|
Fmt.pr "len v' : %d@." (String.length v');
|
||||||
|
Fmt.pr "len v'': %d@." (String.length v'');
|
||||||
|
*)
|
||||||
assert (v = v');
|
assert (v = v');
|
||||||
|
assert (v' = v'');
|
||||||
()
|
()
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue