Diffusion test for inbound governor transitions #3633
Merged
+1,184
−740
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
bolt12
added
inbound-governor
2 tasks
bolt12
changed the base branch from
master
to
bolt12/diffusion-test-cm-transitions
bolt12
force-pushed
the
bolt12/diffusion-test-cm-transitions
branch
from
545fa42
to
f84ef47
Compare
bolt12
force-pushed
the
bolt12/diffusion-test-ig-transitions
branch
3 times, most recently
from
1acabe6
to
4fcfd12
Compare
bolt12
force-pushed
the
bolt12/diffusion-test-cm-transitions
branch
from
f84ef47
to
b6bd1de
Compare
coot
changed the title
bolt12
force-pushed
the
bolt12/diffusion-test-cm-transitions
branch
from
b6bd1de
to
719292a
Compare
bolt12
force-pushed
the
bolt12/diffusion-test-ig-transitions
branch
from
4fcfd12
to
108e446
Compare
bolt12
force-pushed
the
bolt12/diffusion-test-cm-transitions
branch
3 times, most recently
from
23c0eeb
to
5ea48ea
Compare
bolt12
force-pushed
the
bolt12/diffusion-test-cm-transitions
branch
from
5ea48ea
to
2f5af98
Compare
bolt12
force-pushed
the
bolt12/diffusion-test-ig-transitions
branch
from
108e446
to
2ed7e98
Compare
bolt12
force-pushed
the
bolt12/diffusion-test-cm-transitions
branch
from
2f5af98
to
61133c1
Compare
bolt12
force-pushed
the
bolt12/diffusion-test-ig-transitions
branch
from
2ed7e98
to
11462ec
Compare
bolt12
force-pushed
the
bolt12/diffusion-test-cm-transitions
branch
from
61133c1
to
16d805c
Compare
bolt12
force-pushed
the
bolt12/diffusion-test-ig-transitions
branch
from
11462ec
to
45c624f
Compare
coot
requested changes
Apr 20, 2022
|
|
||
| -- | Specification of the transition table of the inbound governor. | ||
| -- | ||
| verifyRemoteTransition :: RemoteTransition -> Bool |
There was a problem hiding this comment.
As in review of #3629, this function should be imported from a testing library in ouroboros-network-framework.
| -- Assuming all transitions in the transition list are valid, we only need to | ||
| -- look at the 'toState' of the current transition and the 'fromState' of the | ||
| -- next transition. | ||
| verifyRemoteTransitionOrder :: [RemoteTransition] |
bolt12
force-pushed
the
bolt12/diffusion-test-cm-transitions
branch
2 times, most recently
from
67ab868
to
7820864
Compare
coot
reviewed
Apr 22, 2022
bolt12
force-pushed
the
bolt12/diffusion-test-cm-transitions
branch
from
e424db2
to
2406460
Compare
bolt12
force-pushed
the
bolt12/diffusion-test-ig-transitions
branch
from
a7f077c
to
45371bd
Compare
bolt12
changed the base branch from
bolt12/diffusion-test-cm-transitions
to
master
|
bors merge |
|
Build failed: |
|
bors merge |
|
Build failed: |
|
bors merge |
|
Timed out. |
|
bors retry |
|
Timed out. |
|
bors retry |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.