Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

BIKE proofs cannot be reproduced locally #737

Closed
robdockins opened this issue Jun 12, 2020 · 1 comment
Closed

BIKE proofs cannot be reproduced locally #737

robdockins opened this issue Jun 12, 2020 · 1 comment
Labels
priority High-priority issues tech debt Issues that document or involve technical debt test assets Issues involving test programs or other test assets tooling: release engineering Issues involving releases, release processes, or other release engineering concerns

Comments

@robdockins
Copy link
Contributor

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 bike

This eventually results in the following output:

ld: targeted OS version does not support use of thread local variables in _s2n_array_enlarge for architecture x86_64
fatal error: /Library/Developer/CommandLineTools/usr/bin/libtool: internal link edit command failed
make[3]: *** [libs2n.dylib] Error 1
make[2]: *** [libs] Error 2
make[1]: *** [s2n/lib/libs2n.so] Error 2
make: *** [bike_r1] Error 2

Instead, I expect to be able to run the SAW proofs and diagnose problems.
@robdockins robdockins added tech debt Issues that document or involve technical debt tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable priority High-priority issues labels Jun 12, 2020
@atomb atomb added the devops label Jul 30, 2021
@chameco
Copy link
Contributor

chameco commented Apr 25, 2022 •
edited
Loading

Fixed in #823 - see #738.

@chameco chameco closed this as completed Apr 25, 2022
@sauclovian-g sauclovian-g added tooling: release engineering Issues involving releases, release processes, or other release engineering concerns test assets Issues involving test programs or other test assets and removed devops tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable labels Oct 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
priority High-priority issues tech debt Issues that document or involve technical debt test assets Issues involving test programs or other test assets tooling: release engineering Issues involving releases, release processes, or other release engineering concerns
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@atomb @chameco @robdockins @sauclovian-g