Revision a3e7a549e358cba73662e44a947b1e459336ff0f authored by Christoph M. Wintersteiger on 10 December 2019, 13:19:02 UTC, committed by Christoph M. Wintersteiger on 10 December 2019, 13:19:56 UTC
1 parent 4dce543
README
Performance tests for HACL*, written in C
-----------------------------------------
These tests are compiled by the local Makefile. They're executed when the user
runs `make test`.
Note: LTO is disabled since it causes a bunch of issues (not all systems have it
properly enabled; issues with MinGW in the past...). Also, I haven't noticed a
measurable performance improvement. If you wish to recompile the tests with LTO
enabled:
```
$ export AR=gcc-ar # if $CC is gcc
$ cd kremlin/kremlib && git clean -fdx dist && CFLAGS=-flto make -j
$ cd hacl-star && git clean -fdx dist && CFLAGS=-flto make -j test
```
Computing file changes ...
