Files
atrium/misc
Robert Stoll f6375b1ca9 #292 show only failing for inOrder.only if more than 10 elements
I decided that I will apply a default heuristic so that (I hope) most
users don't have to change reporting options.
2021-07-12 22:33:31 +02:00
..