AX.25 Amateur Radio Link-Layer Protocol
irmin: merlint 0/69, switch fuzz to alcobar, add real tests
- Switch fuzz suite from crowbar to alcobar (supports --gen-corpus)
- Remove fuzz_common.ml / gen_corpus.ml (inline truncate helper)
- Add fuzz .mli files exporting only suite
- Rename test_tar → test_irmin_tar to match library module name
- Export Irmin.Worktree, expose index_entry/index types
- Add real heap tests (13), worktree tests (5)
- 37 unit + 10 fuzz = 47 tests, merlint 0/69 clean
+2
-5
+2
-5
test/interop/pyax25/test.ml
+2
-5
test/interop/pyax25/test.ml
···
132
132
(Fmt.str "%s: callsign %d ext=1 (last)" r.name i)
133
133
1 ext
134
134
else
135
-
Alcotest.(check int)
136
-
(Fmt.str "%s: callsign %d ext=0" r.name i)
137
-
0 ext
135
+
Alcotest.(check int) (Fmt.str "%s: callsign %d ext=0" r.name i) 0 ext
138
136
done;
139
137
(* Decode with our implementation and re-encode *)
140
138
match Ax25.decode frame_bytes with
···
156
154
[
157
155
( "ui_frames",
158
156
[
159
-
Alcotest.test_case "encoding matches aioax25" `Quick
160
-
ui_frame_encoding;
157
+
Alcotest.test_case "encoding matches aioax25" `Quick ui_frame_encoding;
161
158
] );
162
159
( "extension_bits",
163
160
[