@hannesm @yomimono @networkservice Forgot to include the birdsite reference: https://twitter.com/kensan42/status/964558210488262656
@Kensan @networkservice @hannesm
I've written/run a few crowbar tests on ocaml-x509, mostly because it's a nice test case for ppx_deriving_crowbar (complicated types, lots of stuff is abstract). mirage-tcpip is a little bit crowbar'd but could absolutely stand to be more heavily examined. I've done nothing with nocrypto or ocaml-tls.