+1 -1

lib/reed_solomon.mli

reviewed

··· 51 51 (** Pretty-print a configuration. *) 52 52 53 53 val ccsds : config 54 54 - (** CCSDS RS(255,223) preset. 54 54 + (** [ccsds] is the CCSDS RS(255,223) preset. 55 55 56 56 - Field polynomial: [0x187] (x^8 + x^7 + x^2 + x + 1) 57 57 - Primitive element: [11]

+2 -2

test/interop/reedsolo/test.ml

reviewed

··· 55 55 Alcotest.failf "%s: decode mismatch after clean roundtrip" vec.name 56 56 | Error _ -> Alcotest.failf "%s: decode failed on clean codeword" vec.name 57 57 58 58 - let test_error_correction vec () = 58 58 + let error_correction vec () = 59 59 let cfg = Reed_solomon.ccsds in 60 60 let codeword = Bytes.copy vec.expected_codeword in 61 61 (* Inject 8 symbol errors (well within t=16 correction capability) *) ··· 83 83 vectors ); 84 84 ( "error-correction", 85 85 List.map 86 86 - (fun v -> Alcotest.test_case v.name `Quick (test_error_correction v)) 86 86 + (fun v -> Alcotest.test_case v.name `Quick (error_correction v)) 87 87 vectors ); 88 88 ]

+1 -1

test/test_reed_solomon.ml

reviewed

··· 504 504 (* --- Suite --- *) 505 505 506 506 let suite = 507 507 - ( "reed-solomon", 507 507 + ( "reed_solomon", 508 508 [ 509 509 Alcotest.test_case "gf256: add" `Quick test_gf_add; 510 510 Alcotest.test_case "gf256: mul" `Quick test_gf_mul;