add test for V6.to_int64/of_int64 for 0:0:8000::

mirage · Mar 13, 2023 · 4b17291 · 4b17291
1 parent 5c4a09b
commit 4b17291
Showing 1 changed file with 12 additions and 6 deletions.
diff --git a/lib_test/test_ipaddr.ml b/lib_test/test_ipaddr.ml
@@ -634,13 +634,19 @@ module Test_v6 = struct
       addr
 
   let test_int64_rt () =
-    let ((a, b) as addr) =
-      0x2a01_04f9_c011_87adL, 0x0_0_0_0L
+    let tests =
+      [
+        (0x2a01_04f9_c011_87adL, 0x0_0_0_0L);
+        (0x0000_0000_8000_0000L, 0x0_0_0_0L);
+      ]
     in
-    assert_equal
-      ~msg:(Printf.sprintf "%016Lx %016Lx" a b)
-      V6.(to_int64 (of_int64 addr))
-      addr
+    List.iter
+      (fun ((a, b) as addr) ->
+        assert_equal
+          ~msg:(Printf.sprintf "%016Lx %016Lx" a b)
+          V6.(to_int64 (of_int64 addr))
+          addr)
+      tests
 
   let test_prefix_string_rt () =
     let subnets =