- Update to Swift 5, 5-style package format, and upgrade the Xcode project to compile in Swift 5 mode
- Fix a bug where
covered properties yielded a false positive if the condition was never true
In the coming release, we will be reworking the coverage system to better match QuickCheck's current functionality.