package wire

  1. Overview
  2. Docs
Binary wire format DSL with EverParse 3D output

Install 

dune-project
 Dependency

github.com Readme Changelog ISC License Edit opam file Versions (5)

Authors

  1. T
    Thomas Gazagnaire <thomas@gazagnaire.org>

Maintainers

  1. T
    Thomas Gazagnaire <thomas@gazagnaire.org>

Sources

wire-1.3.0.tbz
sha256=8709cb675bb2e4b30554508c4756b20b4ec050b79b262df917ec01228888f361
sha512=86ca3baa3ad17c164b6c285b91eda969cdd515dcbad5246fd121e1ff4cf0129a010a2c88e18c144e4fb74a3e7e03cad0b9a55aa4c32728242136f37b9ed92a5c

doc/wire.diff/Wire_diff/index.html

Module Wire_diffSource

Differential testing: one Wire.Codec.t against external C behaviour.

A diff test keeps the codec as the single OCaml authority and compares it against C read/write functions, typically backed by EverParse-generated code.

Sourcetype result =
  1. | Match
  2. | Both_failed
  3. | Value_mismatch of string
  4. | Only_c_ok of string
  5. | Only_ocaml_ok of string
Sourcetype t = {
  1. name : string;
  2. wire_size : int;
  3. test_read : string -> result;
  4. test_write : string -> result;
  5. test_roundtrip : string -> result;
}

A type-erased diff test.

Sourceval pp : Format.formatter -> t -> unit

Pretty-print a diff test summary.

Sourceval harness : name:string -> codec:'r Wire.Codec.t -> read:(string -> 'a option) -> write:('a -> string option) -> project:('r -> 'a) -> equal:('a -> 'a -> bool) -> ?ocaml_read:(string -> 'a option) -> unit -> t

harness ~name ~codec ~read ~write ~project ~equal ?ocaml_read () creates a diff test comparing an OCaml codec against external read/write functions.

The test compares both implementations in a single semantic domain 'a: project maps OCaml-decoded values into that domain, read extracts an external value from wire bytes, and write serializes a value in that same domain back to wire bytes. ocaml_read, when provided, overrides the default OCaml byte-reading path derived from codec and project.