network-spec: use bold face for messages
This makes it consistent with the paragraph which describe mini-protocol messages.
This makes it consistent with the paragraph which describe mini-protocol messages.
No visual changes, only white space...
Fixes: #4628
This improves haddocks.
From https://github.com/IntersectMBO/cardano-api at 880782831bd97944f68e57ab09d7b6681da9cbff
Previously, converting a real exception to the model `ErrFsError` would lose information. This commit makes sure that an `ErrFsError` now has an additional string argument that can be used to put printed exceptions in. This string argument is ignored when comparing exceptions in the state machine tests.
Signed-off-by: FabioPinheiro <[email protected]>
We sacrifice a bit of precision, but the state machine tests are already quite slow so this should speed them up a bit.
Co-authored-by: Pablo Lamela <[email protected]>