qc: Add .mli, additional arbitrary packet field instances

Author: seliopou

quickcheck/Arbitrary_Packet.ml

@@ -5,7 +5,7 @@ module Gen = QuickCheck_gen
 open Arbitrary_Base
 
 let arbitrary_dlAddr = arbitrary_uint48
-let arbitrary_nwAddr = arbitrary_uint32
+let arbitrary_dlTyp = arbitrary_uint16
 
 let arbitrary_dlVlan =
   let open Gen in
@@ -18,6 +18,10 @@ let arbitrary_dlVlan =
           ret_gen (Some w16, b, Int32.to_int w4)
   end
 
+
+let arbitrary_nwAddr = arbitrary_uint32
+let arbitrary_nwTos = arbitrary_uint8
+let arbitrary_nwProto = arbitrary_uint8
 let arbitrary_tpPort = Arbitrary_Base.arbitrary_uint16
 
 let arbitrary_dl_unparsable_len l =

quickcheck/Arbitrary_Packet.mli

@@ -0,0 +1,21 @@
+open QuickCheck
+
+val arbitrary_dlAddr : Packet.dlAddr arbitrary
+val arbitrary_dlTyp  : Packet.dlTyp arbitrary
+val arbitrary_dlVlan : (int option *  bool * int) arbitrary
+val arbitrary_nwAddr : Packet.nwAddr arbitrary
+val arbitrary_nwTos  : Packet.nwTos arbitrary
+val arbitrary_nwProto : Packet.nwProto arbitrary
+val arbitrary_tpPort : Packet.tpPort arbitrary
+
+val arbitrary_payload : int -> Packet.bytes arbitrary
+val arbitrary_arp : Packet.Arp.t arbitrary
+
+val arbitrary_udp : Packet.bytes arbitrary -> Packet.Udp.t arbitrary
+val arbitrary_tcp : Packet.bytes arbitrary -> Packet.Tcp.t arbitrary
+
+val arbitrary_ip_unparsable : Packet.Ip.tp arbitrary
+val arbitrary_ip : Packet.Ip.tp arbitrary -> Packet.Ip.t arbitrary
+
+val arbitrary_dl_unparsable  : Packet.nw arbitrary
+val arbitrary_packet : Packet.nw arbitrary -> Packet.packet arbitrary