IntersectMBO / IntersectMBO/ouroboros-consensus

InvalidRollForward exception should be unreachable

Open
#763 3 comments 0 reactions 0 assignees View on GitHub
Dominant language
Haskell
Stars
67
Forks
43
Avg merge
5d 13h
Merged PRs (30d)
43

Description

While reviewing PR input-output-hk/ouroboros-network#773 for Issue input-output-hk/ouroboros-network#231, @nc6 observed and I agreed that a `ForkTooDeep` exception should be raised prior to the mini protocol reaching a state where `InvalidRollForward` could be raised. PR input-output-hk/ouroboros-network#773 introduces `InvalidRollForward`, because otherwise the `RealPBFT` tests fail. We're merging with this Issue as a follow-up obligation.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.