push
github
update to HACL* ae5d839c2 (#377) --------- Co-authored-by: Franziskus Kiefer <franziskuskiefer@gmail.com>
10591 of 20338 new or added lines in 76 files covered. (52.07%)
73 existing lines in 24 files now uncovered.27829 of 51483 relevant lines covered (54.05%)
1266254.18 hits per line