Reference

bugpoint-7(1) on Linux

The text be40e24c029c, as Debian 9 (Stretch) shipped it.

automatic test case reduction tool

Flags it lists

bugpoint-7(1) on Linux now