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.

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

CI: crucible-llvm-tests fail on macOS #741

Closed
RyanGlScott opened this issue May 13, 2021 · 3 comments
Closed

CI: crucible-llvm-tests fail on macOS #741

RyanGlScott opened this issue May 13, 2021 · 3 comments
Assignees
Labels
llvm macOS Issues specific to macOS testing
Milestone

Comments

@RyanGlScott
Copy link
Contributor

From a recent macOS CI job:

Test suite crucible-llvm-tests: RUNNING...
Tests
<elided>
    global-struct.c
      compile global-struct:                         OK (0.03s)
      parse global-struct bitcode:                   Failed to parse test/c/global-struct.bc
Couldn't parse LLVM bitcode from filetest/c/global-struct.bc
Error {errContext = ["METADATA_COMPOSITE_TYPE","METADATA_BLOCK","METADATA_BLOCK_ID","value symbol table","MODULE_BLOCK","Bitstream"], errMessage = "Invalid record size: 21\nExpected size between 16 and 18\nAre you sure you're using a supported version of LLVM/Clang?\nCheck here: https://github.com/GaloisInc/llvm-pretty-bc-parser\n"}
FAIL
        test/Tests.hs:219:
        expected: ""
         but got: "Couldn't parse LLVM bitcode from filetest/c/global-struct.bc\nError {errContext = [\"METADATA_COMPOSITE_TYPE\",\"METADATA_BLOCK\",\"METADATA_BLOCK_ID\",\"value symbol table\",\"MODULE_BLOCK\",\"Bitstream\"], errMessage = \"Invalid record size: 21\\nExpected size between 16 and 18\\nAre you sure you're using a supported version of LLVM/Clang?\\nCheck here: https://github.com/GaloisInc/llvm-pretty-bc-parser\\n\"}"
<elided>

3 out of 34 tests failed (3.58s)

Test suite crucible-llvm-tests: FAIL
@robdockins
Copy link
Contributor

CF #577

@kquick kquick self-assigned this May 21, 2021
@atomb atomb added this to the Crux 0.5 milestone May 21, 2021
@RyanGlScott
Copy link
Contributor Author

I believe this was fixed in #753.

@kquick
Copy link
Member

kquick commented Jun 4, 2021

I believe, you believe, we all relieve together.

@RyanGlScott RyanGlScott added the macOS Issues specific to macOS label Jul 20, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
llvm macOS Issues specific to macOS testing
Projects
None yet
Development

No branches or pull requests

4 participants