Unfortunately because of https://github.com/verilator/verilator/issues/6206 and https://github.com/verilator/verilator/issues/6207 https://github.com/antmicro/sv-bugpoint does not generate correct minimized test cases.
Unfortunately because of verilator/verilator#6206 and verilator/verilator#6207 https://github.com/antmicro/sv-bugpoint does not generate correct minimized test cases.