-
Notifications
You must be signed in to change notification settings - Fork 31
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
Fixed bug: For extension node condition should use current path pointer #651
Fixed bug: For extension node condition should use current path pointer #651
Conversation
…er instead of updated path pointer
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice one. I think it can be improved to increase future readability, though. In case we come to this place again.
Also, does the git commit explain what the issue and the fix are? If not you could amend your commit with a better message and force push that to your branch.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I added some thoughts to the fix; do they make sense?
I just want to restate that we also need a lot of positive and negative test cases. Can we add some? Generally, any bug fix should come with at least the unit test that fails due to the bug and passes after the fix. |
I can easily add tests for the cases which kit reported. 👍 |
… in the proof refer github issue 652
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@benjaminbollen and @schemar
I did suggested changes which also includes tests.
Please have a look to check if I haven't missed anything. 🙏
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice! However, can we also add tests where verification should fail and assert that they still fail with the new code? I am not sure how much we want to test this, but from my point of view 2 tests seems a little slim.
Also minor in-line comments.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM if we don't want to add more tests 👍
I propose two paths:
|
@schemar These two tests are the scenarios where the bug was reported. It makes sense to add these tests that give confidence that the fix works. However, what you are requesting is to test the MPP library in general, which I would say should be done as a separate ticket. Testing MPP library for all the scenarios is a significant effort, as we don't have proof for all the possible trie trees. These need to be manually formed(Unless there is a better alternative) I am not sure if we want to do this for this fix. |
@sarvesh-ost yes, I think this hotfix PR should go ahead so that we can test it, both in KIT and in JLP examples; to @schemar s point, yes let's put focus on additional deliberate tests, but this is more work than this issue (echoing Sarvesh's point) I propose we merge this into the hot fix branch; and go forward with publishing |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM in light of #653
Fixes #652