search

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

Follow dune's documentation about diffing results #38

Closed dinosaure closed 4 years ago

dinosaure commented 4 years ago

I updated tests to have the same layout than the dune's documentation about diffing results.

It seems that dune runtest correctly compiles and run tests but it does not show results if diff does not return an error (which is not user-friendly indeed). However, with dune runtest --verbose, we can ensure an execution of them. So I believe it's fine - try to fix #37.

hannesm commented 4 years ago

thanks. I've no deep insight into the changes, but indeed a dune runtest --verbose shows that ./test.exe and ./wycheproof_hacl.exe are executed. tbh, I'd still prefer to just use Alcotest for the tests (I'm fine to work on that unless someone has objections). having said that, I suspect this PR is an improvement and should be merged. :)