gazagnaire.org / ocaml-sdls
CCSDS Space Data Link Security (355.0-B-2)
0
fork

Configure Feed

Select the types of activity you want to include in your feed.

ocaml-sdls: enable MDX on eio/security_eio.mli, fix broken doc example

Run mdx on eio/security_eio.mli so the {[ ... ]} odoc block now
type-checks against the real Sdls.Security and Sdls_eio.Security_eio
APIs.

The example used unqualified `Security_eio.of_path`, `Security.*`,
and the bare constructor `Bad_mac`; the real path resolution is
`Sdls.Security.Bad_mac` (the constructor lives on
`Sdls.Security.auth_failure_reason`, not `Sdls.Mc`). Added a wrapper
`let run () = ...` so the file-backed security store does not
materialise on disk at mdx test time, and replaced the trailing `...`
with a `Printf.printf` of the dump length so the example shows what
the store yields.

Thomas Gazagnaire 9f226cd3 9579ed02

+5 -1
+4
eio/dune
··· 12 12 logs 13 13 pbkdf2 14 14 nox-hkdf)) 15 + 16 + (mdx 17 + (files security_eio.mli) 18 + (libraries sdls sdls-eio eio eio.unix eio_main))
+1 -1
eio/security_eio.mli
··· 17 17 let fs = Eio.Stdenv.fs env in 18 18 let store = Sdls_eio.Security_eio.of_path Eio.Path.(fs / "data") in 19 19 Sdls.Security.auth_failure store ~timestamp:12345L ~spi:1 20 - ~reason:Sdls.Mc.Bad_mac (); 20 + ~reason:Sdls.Security.Bad_mac (); 21 21 Sdls.Security.set_alarm store; 22 22 let events = Sdls.Security.dump store in 23 23 Printf.printf "%d events logged\n" (List.length events)