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

Test for adding commits with the same hash as gced one #2068

Merged
merged 1 commit into from
Sep 7, 2022

Conversation

icristescu
Copy link
Contributor

Regression test for #2067. The test fails at line 514 - the key for c1_again returned by the index is the one of c1, which is not longer in the pack file.

@icristescu icristescu added the no-changelog-needed No changelog is needed here label Sep 2, 2022
@icristescu icristescu changed the title Add back commit with the same hash as gced one Test for adding commits with the same hash as gced one Sep 2, 2022
let* t, c2_again = commit_2 t in
Alcotest.check_repr S.Hash.t "added commit has the same hash as gced one"
(S.Commit.hash c2_again) (S.Commit.hash c2);
let* () = check_2 t c2 in
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
let* () = check_2 t c2 in
let* () = check_2 t c2_again in

@icristescu do you validate this?

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

yes! thanks

Copy link
Contributor

@Ngoguey42 Ngoguey42 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks a lot

@Ngoguey42
Copy link
Contributor

Merge just after #2070 . No need to rebase, no need for green CI

@icristescu icristescu merged commit 58e63fe into mirage:main Sep 7, 2022
@icristescu icristescu deleted the test_index branch September 7, 2022 12:50
@irmaTS irmaTS added tezos-support Support for bugs related to Tezos users/tezos Related to Tezos users labels Feb 24, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-changelog-needed No changelog is needed here tezos-support Support for bugs related to Tezos users/tezos Related to Tezos users
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants