SIKE proofs cannot be reproduced locally

[robdockins]

With GaloisInc/s2n checked out to hash eae05a158032468fa18de0d8a9132c310abaa4f8, I attempt the following interaction on OSX 10.15.5

$ export CLANG=/usr/local/Cellar/llvm\@7/7.1.0_1/bin/clang
$ export LLVMLINK=/usr/local/Cellar/llvm\@7/7.1.0_1/bin/llvm-link
$ make -C tests/saw sike

This eventually results in the following output:

patch s2n/pq-crypto/sike_r2/ec_isogeny.c sike_r2/patch/ec_isogeny.c.patch
(Stripping trailing CRs from patch.)
patching file s2n/pq-crypto/sike_r2/ec_isogeny.c
Hunk #1 FAILED at 304.
1 out of 1 hunk FAILED -- saving rejects to file s2n/pq-crypto/sike_r2/ec_isogeny.c.rej
make[1]: *** [bitcode/sike_r2_llvm.bc] Error 1
make: *** [sike_r2_patched_bitcode] Error 2

Instead, I expect to be able to run the SAW proofs locally to diagnose problems.

[chameco]

I believe this was fixed in #823 - our CI configuration shares the Docker containers used in s2nTests/, so entering that directory and running make saw-script && make sike should reproduce any failures (well, failures unrelated to Actions resource limits).