Closed pnmadelaine closed 1 year ago
Files with Coverage Reduction | New Missed Lines | % | ||
---|---|---|---|---|
src/EverCrypt_AutoConfig2.c | 13 | 84.57% | ||
<!-- | Total: | 13 | --> |
Totals | |
---|---|
Change from base Build 3838614703: | -0.02% |
Covered Lines: | 30640 |
Relevant Lines: | 57201 |
As requested in #31
./js
./src/wasm
mach bulid --language js
is implementedmach test --language js
is implementedmach update
will update./src/wasm
from$HACL_HOME/dist/wasm
mach build -l js && mach test -l js
to do