bugpoint - minimize testcases
This command minimizes testcases that crash Yosys. It removes an arbitrary part
of the design and recursively invokes Yosys with a given script, repeating these
steps while it can find a smaller design that still causes a crash. Once this
command finishes, it replaces the current design with the smallest testcase it
was able to produce.
It is possible to specify the kinds of design part that will be removed. If none
are specified, all parts of design will be removed.
use this Yosys binary. if not specified, `yosys` is used.
use this script to crash Yosys. required.
only consider crashes that place this string in the log file.
run `clean -purge` after each minimization step. converges faster, but
produces larger testcases, and may fail to produce any testcase at all if
the crash is related to dangling wires.
run `clean -purge` before checking testcase and after finishing. produces
smaller and more useful testcases, but may fail to produce any testcase
at all if the crash is related to dangling wires.
try to remove modules.
try to remove module ports.
try to remove cells.
try to reconnect ports to 'x.