test/diff/gen_schemas.ml at main · gazagnaire.org/ocaml-wire

OCaml wire format DSL with EverParse 3D output for verified parsers

ocaml-wire / test / diff / gen_schemas.ml

at main 6 lines 265 B view raw

wrap content

1(** Generate .3d files for differential testing schemas. *)
2
3let () =
4  (* Files are generated in the dune build directory *)
5  Wire.to_3d_file "SimpleHeader.3d" Schema.simple_header_module;
6  Wire.to_3d_file "ConstrainedPacket.3d" Schema.constrained_packet_module