mirage / hacl

Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves
https://github.com/mirage/mirage-crypto
Other
20 stars 5 forks source link

Update tests to use Alcotest #40

Closed dinosaure closed 4 years ago

dinosaure commented 4 years ago

Currently some tests don't use alcotest we don't have a clear feedback about status of them - if they work or not. We probably should update them to use alcotest to have a clear view of them during the CI.