OCaml wire format DSL with EverParse 3D output for verified parsers
fix(build): adapt fuzz tests to new Crowbar and API changes
Update Crowbar.run calls to use (name, test_case list) list format,
add ~name label to Sqlite.Table.create and Openamp.Firmware.install,
add run() functions to openamp fuzz modules.
+14
-8
+14
-8
test/diff/fuzz_schema.ml
+14
-8
test/diff/fuzz_schema.ml
···
71
71
()
72
72
73
73
let () =
74
-
Cr.add_test ~name:"schema: simple_header roundtrip" [ Cr.int; Cr.int; Cr.int ]
75
-
test_simple_header_roundtrip;
76
-
Cr.add_test ~name:"schema: simple_header crash" [ Cr.bytes ]
77
-
test_simple_header_crash;
78
-
Cr.add_test ~name:"schema: constrained_packet roundtrip" [ Cr.int; Cr.int ]
79
-
test_constrained_packet_roundtrip;
80
-
Cr.add_test ~name:"schema: constrained_packet crash" [ Cr.bytes ]
81
-
test_constrained_packet_crash
74
+
Cr.run "schema"
75
+
[
76
+
( "schema",
77
+
[
78
+
Cr.test_case "simple_header roundtrip" [ Cr.int; Cr.int; Cr.int ]
79
+
test_simple_header_roundtrip;
80
+
Cr.test_case "simple_header crash" [ Cr.bytes ]
81
+
test_simple_header_crash;
82
+
Cr.test_case "constrained_packet roundtrip" [ Cr.int; Cr.int ]
83
+
test_constrained_packet_roundtrip;
84
+
Cr.test_case "constrained_packet crash" [ Cr.bytes ]
85
+
test_constrained_packet_crash;
86
+
] );
87
+
]