LDPC codes with belief propagation decoding
fmt: dune-fmt sweep across docstrings and pattern matches
Cosmetic-only changes from a workspace-wide $(dune fmt) run that
were pending in the working tree across packages: docstring re-wraps
in several .mli files (rego, space-packet, spacewire, tcpcl), and
single-line collapses of trivial match arms in test files (atp,
ldpc, mst, pus, sse) and one xtce.ml site.
No behavioural changes.
+1
-2
+1
-2
test/test_ldpc.ml
+1
-2
test/test_ldpc.ml
···
242
242
(Fmt.str "syndrome zero for seed %d" seed)
243
243
(Bytes.to_string data)
244
244
(Bytes.to_string recovered)
245
-
| Error e ->
246
-
Alcotest.failf "syndrome check failed for seed %d: %s" seed e)
245
+
| Error e -> Alcotest.failf "syndrome check failed for seed %d: %s" seed e)
247
246
seeds
248
247
249
248
(* --- BP convergence: test max_iter=1,5,50 on same corrupted codeword --- *)