4.0.0

• BREAKING: Removed Realized
  • To migrate uses of Realized with IOSim, index the state type on the choice of RunModel monad
    and index the relevant types:

    -- Turn:
    data ModelState = State { threadId :: Var ThreadId }
    -- Into:
    data ModelState m = State { threadId :: Var (ThreadId m) }
    

• BREAKING: Moved Error state from StateModel to RunModel and indexed it on both the state and the monad m
• BREAKING: Changed PerformResult from PerformResult (Error state) a to PerformResult state m a
• Added a moreActions property modifier to allow controlling the length of action sequences.

What's Changed

• Document how generated test cases are validated in #75
• remove Realized by @MaximilianAlgehed in #76
• Move Error state to RunModel by @MaximilianAlgehed in #80
• Introduce a QuickCheck-style MoreActions type modifier to make it easier to increase the number of actions on average in tests by @MaximilianAlgehed in #84
• Fix links to the Registry example by @geo2a in #87
• Add a haddock to mkVar by @ch1bo in #74

New Contributors

• @geo2a made their first contribution in #87

Full Changelog: 3.4.1...4.0.0