add rountrip test for IPv6 string parsing

Author: fugitifduck

test/Test.ml

@@ -1,5 +1,6 @@
 open Packet
 open QuickCheck
+open Arbitrary_Base
 
 module Gen = QuickCheck_gen
 
@@ -104,6 +105,23 @@ module RoundTrip = struct
     (packet_quickCheck (mk_ip tcp)
       (prop_roundtrip2 parse marshal))
 
+  let addr_roundtrip parse marshal e =
+    (parse (marshal e)) = e
+
+  let addr_quickcheck arbitrary parse marshal =
+    let show (p1,p2) = 
+      Format.sprintf "%Lu %Lu" p1 p2 in
+    let test = testable_fun arbitrary show testable_bool in
+    match quickCheck test (addr_roundtrip parse marshal) with
+      | Success -> true
+      | Failure _ -> failwith "No failure expected"
+      | Exhausted _ -> failwith "No exhaustion expected"
+
+  TEST "Roundtrip property for IPv6 Address" =
+    (addr_quickcheck arbitrary_uint128
+      ipv6_of_string string_of_ipv6)
+
+
 end
 
 Pa_ounit_lib.Runtime.summarize ()