Wadler/Leijen pretty-printer combinator library (quchen/prettyprinter). Workload narrowed to the `prettyprinter` sub-package; modern HEAD is the base, each patch reverse-applies a fix to install the original bug.
Per-property results
| Property | passed | failed | other | verdict |
|---|---|---|---|---|
AlterAnnotationsBalanced | 0 | 40 | 0 | bug found |
FuseAnnotatedDocs | 0 | 40 | 0 | bug found |
RibbonWidthFloor | 0 | 40 | 0 | bug found |
RtwIndentBlankLines | 40 | 0 | 0 | — |