Jesper Louis Andersen d06fff489d QuickCheck for randombytes ...

There are some new randombytes
functions. Implement these as EQC
properties.

2020-02-05 11:16:56 +01:00

..

enacl_eqc.erl

QuickCheck for randombytes

2020-02-05 11:16:56 +01:00

enacl_ext_eqc.erl

Move functions around. Mark untested functionality.

2018-05-21 12:27:24 +02:00

Makefile

Compile helper for development

2018-05-21 12:09:32 +02:00