Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Bump CBMC version to 5.82.0 #2417

Merged
merged 1 commit into from
May 1, 2023
Merged

Bump CBMC version to 5.82.0 #2417

merged 1 commit into from
May 1, 2023

Conversation

adpaco-aws
Copy link
Contributor

Description of changes:

Bump CBMC version to 5.82.0.

Testing:

  • How is this change tested? Existing regression.

  • Is this a refactor change? No.

Checklist

  • Each commit message has a non-empty body, explaining why the change was made
  • Methods or procedures are documented
  • Regression or unit tests are included, or existing tests cover the modified code
  • My PR is restricted to a single feature or bugfix

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@adpaco-aws adpaco-aws requested a review from a team as a code owner May 1, 2023 16:05
@feliperodri feliperodri enabled auto-merge (squash) May 1, 2023 16:18
@feliperodri feliperodri merged commit 94674f4 into model-checking:main May 1, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@feliperodri feliperodri feliperodri approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@adpaco-aws @feliperodri