This post is the first case study in the “Property-Based Testing in a Screencast Editor” series, covering the timeline flattening process in Komposition and how it’s tested using PBT and the Hedgehog testing system:
I posted the introductory article here a few weeks back. I hope they both are enjoyable reads!