[m-rev.] diff: gather statistics on switch search depths

[Zoltan Somogyi]

This should not need review.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.ssdr
Type: application/octet-stream
Size: 550 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20260115/8f9fd83b/attachment-0003.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.ssdr
Type: application/octet-stream
Size: 8581 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20260115/8f9fd83b/attachment-0004.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: SSDR_RESULTS
Type: application/octet-stream
Size: 217 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20260115/8f9fd83b/attachment-0005.obj>