test/b32.ml

@@ -1,15 +1,28 @@
+let round_trip s =
+  let s' = s |> B32.encode |> B32.decode |> Result.get_ok in
+  match s' = s with
+  | false -> Fmt.failwith "b32 round trip failure: @\nin :`%S`@\nout:`%S`" s' s
+  | true -> ()
+
 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
+  round_trip s;
   let s_l = List.init 0x0f (fun i -> String.init i Char.chr) in
-  f s;
-  List.iter f s_l;
+  List.iter round_trip s_l; ()
+
+let () =
+  let input = "91JPRV3F5GG4EKJNDSJQ8" in
+  let output =
+    input
+    |> B32.decode
+    |> Result.get_ok
+    |> Hash.H64.hash
+    |> Hash.H64.to_octets
+    |> B32.encode
+  in
+  let expected =
+    "D0R24RZ1TPASVQ2NY56CT8AJDYZE9ZGDB0GVZ05E9D4YGZQW2RC5YFPQ0Q86EPW836DY7VYQTNFFJT3ZR2K508F4JVS5JNJKYN2MMFR"
+  in
+  assert (output = expected);
 
   ()

test/dune

@@ -6,7 +6,7 @@
 (test
  (name b32)
  (modules b32)
- (libraries b32 fmt))
+ (libraries mte b32 fmt))
 
 ; TODO
 ; cram test?