bugpoint-13(1) on Linux
The text ee5de0f085ce, as Debian 11 (Bullseye) shipped it.
automatic test case reduction tool
Flags it lists
-
-find-bugs -
-help
The text ee5de0f085ce, as Debian 11 (Bullseye) shipped it.
automatic test case reduction tool
-find-bugs
-help