CBMC upgrade to 6.3.1 failed #3536
Comments
tautschnig
added a commit
to tautschnig/kani
that referenced
this issue
Sep 23, 2024
Update to CBMC release 6.3.1. This release includes a full fix for the build problem that we carried a patch for (in model-checking#3431 and model-checking#3436), thus dropping the patching step. The automatic update of CBMC requires actually installing that newer version of CBMC, else regression tests fail as seen in https://github.com/model-checking/kani/actions/runs/10987766383/job/30503118786. Resolves: model-checking#3507, model-checking#3536
github-merge-queue bot
pushed a commit
that referenced
this issue
Sep 23, 2024
Update to CBMC release 6.3.1. This release includes a full fix for the build problem that we carried a patch for (in #3431 and #3436), thus dropping the patching step. The automatic update of CBMC requires actually installing that newer version of CBMC, else regression tests fail as seen in https://github.com/model-checking/kani/actions/runs/10987766383/job/30503118786. Resolves: #3507, #3536 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
|
Resolved in #3537. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Updating CBMC from 6.1.1 to 6.3.1 failed.
The failed automated run can be found here.
The text was updated successfully, but these errors were encountered: