1996717 - HACL test failures for FStar_UInt_8_16_32_64.h

Status: RESOLVED FIXED

(NSS :: Test, defect, P3)

Description

[John Schanck [:jschanck]]

We have source code consistency tests for code that we vendor from HACL*, libcrux, and karamel. Some of the karamel tests are currently failing because there are multiple files named FStar_UInt_8_16_32_64.h in the upstream repository and the test script sometimes compares with the wrong copy (a quirk of the unix find utility not having a guaranteed output order). I'll fix the script so that it looks for the file in the correct directory, rather than searching for it.

Comment 1

[John Schanck [:jschanck]]

Attachment: Bug 1996717 - use the correct directory for FStar_UInt_8_16_32_64.h in source consistency test. r=#nss-reviewers

Comment 2

[Pulsebot]

Pushed by [e-mail]:
https://hg.mozilla.org/projects/nss/rev/aac33715ff1d
use the correct directory for FStar_UInt_8_16_32_64.h in source consistency test. r=nss-reviewers,nkulatova