test-check

2020-07-12T10:10:01.085800Z

I think that the source code would have been easier to read if the rose tree was named after its purpose, for example shrink-tree

2020-07-12T10:19:28.089900Z

fwiw, quickcheck in haskell seems to use the term "rose" as well: https://hackage.haskell.org/package/QuickCheck-2.9/docs/Test-QuickCheck-Property.html#g:4 - i was initially puzzled but found a wikipedia page: https://en.m.wikipedia.org/wiki/Rose_tree

2020-07-12T10:23:42.093300Z

in this case i was initially lost but the name actually helped me to find relevant related info

2020-07-12T12:29:35.093700Z

yeah the initial draft of test.check was heavily based on quickcheck