-
Notifications
You must be signed in to change notification settings - Fork 87
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
Public Root Peers target Diffusion tests #3727
Conversation
c835f4e
to
1b25cae
Compare
974d516
to
29dde73
Compare
1b25cae
to
f8738cc
Compare
29dde73
to
ee90827
Compare
f8738cc
to
9bbb400
Compare
ee90827
to
ef53cfe
Compare
9bbb400
to
8a04d7d
Compare
ef53cfe
to
eae62b2
Compare
8a04d7d
to
4646e34
Compare
) | ||
<$> events | ||
where | ||
verify_target_established_public :: Events DiffusionTestTrace -> Property |
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.
Could this be exported by the Test.Ouroboros.Network.Governor
module. The same for the other such functions.
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.
Not quite because although the code looks pretty much the same we are using different ways of obtaining the trace!
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'd extract the core function which does the validation, and export it. This will allows us to use it in the two different contexts. But this can be done in a separate PR if you prefer.
4646e34
to
4ff8cd4
Compare
8660680
to
f8fd974
Compare
4ff8cd4
to
955b6ed
Compare
Refactor RootPeersDNS tests to use this change instead of a script of domain maps. Updates JoinNetwork command with possible IP change. If a node restarts with a new IP there's a new thread to update the Domain maps accordingly after some delay. Removed self from DNSMap in DiffusionScript gen Added tracing for DNSMap updating
f8fd974
to
c09ee1a
Compare
955b6ed
to
0d749d7
Compare
0d749d7
to
14fc7a4
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.
LGTM
bors merge |
No description provided.