Revision aa1ca8698adfe929a9eff86ac143eaf90fc3e8ee authored by Jay Bosamiya on 03 June 2019, 21:51:38 UTC, committed by Jay Bosamiya on 03 June 2019, 21:51:38 UTC
1 parent 6055e85
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 ...
