- Fixed Script strict API functions. Now functions with an apostrophe
'
are properly strict variants of the non-apostrophe functions.
- Adds
eventually
andeventsToListWithId
functions to Signal API
- ghc-9.8 support
- Use
io-sim-1.3.1.0
- Use
io-sim-1.3.0.0
.
- Changed
prop_shrink_valid
to useShrinkCarefully
- Changed
prop_shrink_nonempty
to useShrinkCarefully
(formerllyprop_shrinkCarefully
was defined inouroboros-network:sim-test
)
- Added 'keyedTimeoutTruncated' to Signal API
- type signature of
prop_shrink_valid
is more admissible - added
singletonTimedScript
- added
Ouroboros.Network.Testing.Data.Script.shrinkScriptWith
io-classes-1.1
support.
ghc-9.4
andghc-9.6
compatibility.
- Release a version compatible with
ghc-9.2
/only the most recent changes/
keydTimeout
does not ignore tail (PR #4086)- Added
Delay
constructor toScriptDelay
- Added
Ouroboros.Network.Testing.Data.Signal.fromEventsWith
(PR #4086) - Added
NonFailingAbsBearerInfo
with its arbitrary instances andtoNonfailingAbsBearerInfo
(PR #3862). - Added
stepScriptOrFinish
andstepScriptOrFinishSTM
- Initial version