-
Notifications
You must be signed in to change notification settings - Fork 47
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
Add Byzantine Test where we have a dishonest leader #3516
Conversation
d8ca319
to
319bbf6
Compare
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.
Couple of comments
I see that your adding the expected views to fail but I think it's missing the most important part. The check you have just says it's ok to have a failed view if it's expected. I think for byzantine tests we want the check to also make sure that we don't succeed in a view we expected to fail. Maybe improving the safety task with this can be a follow up |
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, I think Brendon has a comment so I'll let him approve
Closes #3515
This PR:
Uses byzantine trait in testing framework to create a dishonest leader that will replace proposed QC with a QC from a previous view
This PR does not:
Key places to review:
tests/tests_1/test_with_failures_2.rs
I added the integration test at the bottom to test dishonest leader