gazagnaire.org
OCaml wire format DSL with EverParse 3D output for verified parsers
1(** Schema definitions for differential testing. *)
2
3type simple_header = { version : int; length : int; flags : int }
4(** A simple packet header with version, length, and flags fields. *)
5
6val simple_header_codec : simple_header Wire.Codec.t
7(** Record codec for encoding/decoding simple headers. *)
8
9val simple_header_struct : Wire.struct_
10(** Struct definition for 3D code generation. *)
11
12val simple_header_module : Wire.module_
13(** Module definition for 3D code generation. *)
14
15type constrained_packet = { pkt_type : int; pkt_length : int }
16(** A packet with type and length fields, where length must be >= 4. *)
17
18val constrained_packet_codec : constrained_packet Wire.Codec.t
19(** Record codec for encoding/decoding constrained packets. *)
20
21val constrained_packet_module : Wire.module_
22(** Module definition for 3D code generation. *)