search

mit-plv / fiat-crypto

Cryptographic Primitive Code Generation by Fiat
http://adam.chlipala.net/papers/FiatCryptoSP19/FiatCryptoSP19.pdf
Other
701 stars 144 forks source link

Allow host libc to mismatch debian container libc when testing binary #1893

Closed JasonGross closed 1 month ago

JasonGross commented 1 month ago

cf https://github.com/mit-plv/fiat-crypto/actions/runs/8990595838/job/24703815722?pr=1891#step:6:22